Patch #1446372: quit and exit can now be called from the interactive

interpreter to exit.