Util: merged log() and log_traced() (now traces).
Core: named quit callback to on_quit(), added quit() to halt.