add quit() and the holy grail of BOINC: restart!