message: drake.log_time: do die when kindly asked to
  Currently failures turn into an endless execution of drake.  The
  problem is log_time whose clean up section is skipped on errors.  As a
  result there's an endlessly running Thread that keeps the application
  "running".
diff: @@ -1826,7 +1826,9 @@ def log_time(runner):
  timer[0] = threading.Timer(5 * 60, lambda: start_timer(False))
  timer[0].start()
  start_timer()
  + try:
  yield
  + finally:
  timer[0].cancel()
  end_time = time.time()
  if 'DRAKE_NO_TIME_REPORTS' not in _OS.environ:
  