Unify Coq CI into a single .yml file

This shares structure a lot more, and will also enable us to
(eventually) just check if the generated OCaml code is identical across
Coq versions and platforms.

Note that we no longer check generated files on most platforms, and we
only validate on Coq master.

Author: JasonGross