Use a pythonrc for repl history