(1) added state Paused in the FSM and hooked it up to the ui.
(2) tweaked the RTEngine to be able to pause without stopping the
worker.