Use quit() or Ctrl-D (i.e. EOF) to exit python