Update ci for windows and linux for deprecated and new OS#313

jhmgoossens merged 2 commits intocoin-or:mastercoin-or/Clp:masterfrom

jhmgoossens:dev-ci-updates-masterjhmgoossens/Clp:dev-ci-updates-masterCopy head branch name to clipboard