polyjit: rename timing metrics
polyjit: rename timing metrics

Former-commit-id: 24c8658d0fd062b270911fda2a2ec45f1f9948ed
Former-commit-id: 2c07becf625a27916b0e523f678f4be99719de29 [formerly eebc9c5ab8ef216dc55309d370d415d5430c3089] [formerly eb458c2a6ae227e92ba8f411259d8bd98e2537a6 [formerly 4d12b35bbdc2a1e26754d074f77809bc94e2f134]]
Former-commit-id: 08ae6e1ed088ebfb229ef70086b43adda6f5d4c8 [formerly e44c9b7f2b06d98df30286b56f99594945e2b828]
Former-commit-id: 363dd6904a3dd1ad2977397a63e04dbddcdcd09c
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild