don't call updateTimestamps() from itself; this causes multiple parallel updates which slows things down
Merge branch 'master' of https://github.com/icpc-live/autoanalyst