Browser Clock: Add an option for 24 hour format and change the default to
12 hour. This involved adding a small options page infrastructure based
on the CSS from Chromium; and while there, update the time font to be
consistent with the Chromium platform style.