Remove long-deprecated time-related functions.

These have been deprecated for close to a year and were supposed to have
been removed a few months ago.