Added preferences options to enable the server-time extension when available.
(Internationalization messages missing; will do that later.)