applets/digital-clock: add a font size setting
This allows the user to choose between automatically determined font size (the default, and the current behavior), and completely manual font settings. The UI refactor and layout code changes necessary for this feature also happily fix a few bugs along the way. BUG: 413394 BUG: 421548 BUG: 395468 FIXED-IN: 5.26