Resolve "Add debug symbols to Lima libraries" by refactoring bootstrap.py

The origin of the merge request was to solve #25 (closed)

It has been done by a complete refactoring of bootstrap.py. New features include:

• Improved command line option management:
  • --no-xxxx is equivalent to --xxxx=no
• Unified Linux and Windows build/installation process through CMake
• Installation is now optional, the default is 'no'
  • if --install-prefix is specified, the --install will be assumed

@claustre and @debionne, could you please check that it works for Windows?

To be tested: Git checkout