Basic support for Coq integration.

Warning: includes absolute paths...