Deprecate end() by having it call quit() instead. Marked for eventual removal. Fixes #419