This simple tool requests a time adjustment, specified in seconds
expressed as a floating point values ("0.001", "-.2", "-4" ...).

It can be used to force time differences between hosts while checking
how ppsi (or other time daemons) work.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>