Terminating a Python script,quit()