Gnome-Shell extension that allows to adjust clock format on the gnome-shell panel.