GitLab

Also, add some missing strict/warning statements and fix resulting
warnings and refine some comments in the headers of files.