Updated emacs init file and vimrc

* Adds elixir-mode, racket-mode, haskell-mode
* Adds Coq mode configuration
* Adds ProofGeneral configuration
* Custom tab and space settings for new file extensions in vim