Update .emacs for ProofGeneral/Coq on emacs 24.3
[Minor] Add section for antikythera
Add Mercurial configuration file