GitLab

Pavel noted that some header files were missing from the distribution.
Also, I moved the private generated header files to src/ in order to
more clearly separate them.