use Timespec arithmetic

My pull request finally got merged, so now it is possible to take the
difference of timespecs, and get back a duration.