RandomInEqualities

I have these 3 commits that mostly tweaks the windows build instructions to have less text and be more focused. It is easy to build with Visual Studio/Clang/GCC on Windows,...

[Windows] Mark old_report_mode as unused

2

When compiling in release mode the _CrtSetReportMode macro gets replaced by void(0). This makes old_report_mode unused, which visual studio warns about.