Merge changes I6b499f53,If821ed21
am: c658aee7d6

* commit 'c658aee7d6dc56b1b3b1722412029830e966ba71':
  dumpstate: report process times
  Add option to #define _DUMPSTATE_DRY_RUN_ to skip the actual dumps.