README: add ghci instructions