Merge pull request #31 from V01D-eXe/master

Added Compcert
Automated Theorem Proving
Goji
Added Alt-Ergo and renamed the section.
Fixed the index.
pa_monad