add packages for coq and alt-ergo
Merge pull request #2 from vprevosto/new-packages

add packages for coq and alt-ergo