[metrics] Add timer conveniences am: 1cd030f76e

Original change: https://android-review.googlesource.com/c/platform/art/+/1442437

Change-Id: Ib53a652800d66952b86034071dbb54b04d26138b