Add config file for ghci