Simplified quitting

Use the following method to quit easily:

do_quit

For instance, a quit button:

quit_button.on_clicked {
  do_quit
}