Display times in 24h format if configured so

Adds the possibility to define a `time_mode` knob in the config, which is empty by default. If its value is `24h