Add ghci configuration file