A stats db.
Review Request #2797 — Created Sept. 11, 2015 and submitted — Latest diff uploaded
Stores timing stats in a structured way, instead of as json. Future changes will do interesting visualizations and analytics on this data. Tightened up some uses of RunInfo, as previously we were inadvertently overwriting the id with None. Also ensures that ids are unique, by appending a uuid to them (but we still prefix them with a timestamp so that they sort by time).
CI passes: https://travis-ci.org/pantsbuild/pants/builds/79771073.
CI still passes after addressing code review comments: https://travis-ci.org/pantsbuild/pants/builds/79883116.