am 7d029af4: Merge "Add the "time" compilation filter and output compilation stats."

* commit '7d029af44c45c56b3b7a271c54434c2dcec1e219':
  Add the "time" compilation filter and output compilation stats.