GitLab

Now this is done consistently both in autoconf and automake. One can now
safely call make clean and the header files are re-generated
automatically.