Like adjtime (previous commit), this is used to adjust the local time,
but in this case the program performs a time jump (warp) using
settimeofday().
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>