GitLab

This simplified the configuration (mkdir build; cd build; cmake ..). One
has just to do a

 make configure

The removal of the build is done with

 make purge

and finally all the other make target are forwarded to the generated
makefiles inside the build directory.