document how to run ghci