Added project. It is not yet adjusted to work with Coq-trunk.