Add the ability to specify extra ghc-mod options in your user config.