Collect and output a few dex2oat statistics.

Not sure how useful this is. Suggestions welcome.

Change-Id: I339de66a9964d18b11a482f549e891a57831e10e
diff --git a/src/utils.h b/src/utils.h
index 6a18138..8b22103 100644
--- a/src/utils.h
+++ b/src/utils.h
@@ -224,6 +224,9 @@
 // Returns the current time in microseconds (using the POSIX CLOCK_THREAD_CPUTIME_ID).
 uint64_t ThreadCpuMicroTime();
 
+// Converts the given number of nanoseconds to milliseconds.
+uint64_t NsToMs(uint64_t ns);
+
 // Splits a string using the given delimiter character into a vector of
 // strings. Empty strings will be omitted.
 void Split(const std::string& s, char delim, std::vector<std::string>& result);