Faster compilation

In the current master, every time we edit a file, we re-generate version.h which then triggers recompilation of a lot of file that include it.

Here we re-generate a version_string.h instead that is only included in version.c. That speeds up the compilation when only a few files are modified.