Moved Coq and Haskell modes into modes folder
Updated .emacs for moved modes