Fixes for the recent timer changes. Fixes a bug introduced for --max-run-time
where a resumed session would immediately abort again. And if OS_TIMER, we
only call status_get_time() if --max-run-time or --progress-every was given.