Vincent Siles, Jan 2010

Tested with the trunk version of Coq, it may not compile with v8.2
due to syntax changes.

Please edit the Makefile to point to the right version of coqc