ghc-mod settings added