Add .ghci that makes GHCi'ing Agda possible.

I'd love to use `cabal repl` if it didn't re-build the damn thing each
time.

It obviously needs the dist files from `cabal`, I should probably find
a way to programmatically generate those.

Also, eats your memory.