Set ghci history size to 1000.

https://stackoverflow.com/questions/20133443/how-to-configure-amount-of-command-history-saved-by-ghci