Mostly handle reboot while running or paused

* If load() stops a "running" timer with a future startTime, then save() it
to ensure consistency.
* MainActivity start: update the widgets just in case.
* Add a long comment about reboot handling, including how to fix the
remaining corner case (at a cost).