Merge branch 'VS2017CI' into 'master'

.gitlab-ci.yml

CI/Windows.bat

cmake/CGAL_GeneratorSpecificSettings.cmake

cmake/FindBLAS.cmake

cmake/FindCBC.cmake

cmake/FindCGL.cmake

cmake/FindCLP.cmake

cmake/FindCOINUTILS.cmake

cmake/FindEIGEN3.cmake

cmake/FindLAPACK.cmake

cmake/FindMETIS.cmake

cmake/FindMUMPS.cmake

cmake/FindOSI.cmake

cmake/FindSPECTRA.cmake

cmake/FindSUITESPARSE.cmake