Some Coq files are currently not parseable and/or broken. The patches
fix those problems and make the Coq packages accesible.