Compile on Coq Platform in CI

Make sure Prosa compiles cleanly in a default Coq Platform environment.

This will be easy once there's a standard Docker image for Coq Platform.