Update build & CI files to properly use new CI machine

1 job for ci in 14 minutes and 18 seconds (queued for 2 minutes and 41 seconds)
Status Name Job ID Coverage
  Test
passed gps-coq8.6 #2754
fp-timing

00:14:18