Test Opam file in CI

Test the Opam file for dev version in CI. That file could then be submitted to extra-dev (https://coq.inria.fr/opam/extra-dev) and a derived one pointing to release 0.4 could be submitted to released (https://coq.inria.fr/opam/released).

Fixes #45 (closed)