add ghci configuration file