display UTC, TAI and leap seconds
modify wr_mon to show that "Switch time" is UTC, "WR time" is TAI, and
display number of leap seconds
is:
TAI Time: Thu, Jul 13, 2017, 13:29:20
make:
WR time (TAI): 2017-03-11 23:30:46
Switch time (UTC): 2017-03-11 23:30:08
Leap seconds: 37