Tell coq_makefile where the source folder is.
Add pretty-printed errors.
Add an export module.
Locate a single library.
Export the Peano library in the test.