(xmonad) Change time format to 24-hour clock on xmobar