sys.ps1 and sys.ps2 define the strings used as primary and secondary prompts in the Python interpreter. Also fix a rare bug introduced by myself in 7772af6 (#6607) where spaces at the end of the current line would not be remembered when switching server.