Add portable high-res timer