Add Coq master to CI of master branch

Now that the master branch is to be used in Coq's CI
in place of thec coq-master branch of HB.

Author: proux01