Restart python repl if necessary when switching
Do not create backups of files modified with tramp