add '\n' to the string returned from PythonConsoleIn::readline()