Update W3C link of User Timing API

User Timing is already a W3C Recommendation.