Bug fix (coq_makefile): Adding unix.cma and threads.cma dependencies for grammar in campl4
Proof using: New vernacular to name sets of section variables