set pystartup to keep repl history