CMake

The current Makefile recompiles everything from scratch each time (for an unknown reason). It has also reached a too high level of complexity.