aosp.py: Add time statistics for build