Merge branch 'wrdate'

This merges a single commit, that I published some time ago for
our users, so they could set system time from WR time.

This is now going to happen automatically, in the next commits, but
this new wr_date binary is still useful to read /etc/leap-seconds.list
and pass the information to the kernel.