Commit 530c08f0 authored by Lorenz Huedepohl's avatar Lorenz Huedepohl

Also distribute necessary C header files

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.
parent c7144e6c