Consider option `-t tick_rate`

[ReinhardKeil]

Utilities that print time (i.e. SDS-Check) should get an option to set the tick_rate

-t     timestamp tick rate in Hz to (default: 1000 for 1ms tick interval)