Update stable ci for win and linux for deprecated and new OS#146

tkralphs merged 2 commits intocoin-or:stable/0.95coin-or/Dip:stable/0.95from

jhmgoossens:dev-ci-updates-stable/0.95jhmgoossens/Dip:dev-ci-updates-stable/0.95Copy head branch name to clipboard