Merge "Utility function to conveniently measure time"