Improve the portability of the build system and tools
This MR adds the new Windows VM to the CI. It improves several aspects:
- many portability fixes to be able to compile on windows (using https://fdopen.github.io/opam-repository-mingw/)
- some improvements on optional dependencies (that are not sufficient not entirely satisfactory)
- update build/installation instructions