Migration of machines to gitlab-ci

mun has been scheduled since Windows CI is ready.