Improve install

Some small extensions to install (scripts/bootstrap.py) procedure.

In particular, arbitrary CMake options can be added to config.txt, including non-numeric variables.

Prepared for a future --build-path, but it is not added yet

To be tested on Windows ;)