.gitignore to ignore repl history