haskell: add haskell-mode
custom: agda settings
haskell: something is wrong with ghc-mod init
agda: add agda-mode init
unicode-fonts: add package
python: install python-mode
pymacs: install pymacs (dunno why really)
hilight-indentation: install package
pg: load ProofGeneral