Add ghci config to settings.