DiffTime package:rhine

Compute the difference between two timestamps. Mnemonic: diffTime behaves like the (-) operator: diffTime earlier later = later `diffTime' earlier is the duration it takes from earlier to later.