XmlRpcEmbedder: clean up more gracefully (i.e. cancel jobs before deleting objects) if the XmlRpcPipeServer terminates unexpectedly
PythonInterpreter: allow the user to type exit() to terminate the interpreter (leads to ugly error message in the C::B log that will need be fixed in a future commit)