Transition to lens-datetime from time-lens

The lens-datetime package is already in NixOS and nowadays everyone is
using the lens package anyways, not the data-lens.