install CI and update build system

2 jobs for ci/ralf/ci in 19 minutes and 48 seconds (queued for 13 minutes and 29 seconds)
Status Job ID Name Coverage
  Build
passed #10578
fp
build-coq.8.6.1

00:18:21

passed #10577
fp
build-coq.8.7.2

00:17:40