config: Add PFASST_TIME_PRECISION define to override `pfasst::time`.

Note that if PFASST_TIME_PRECISION is not defined, `pfasst::time`
defaults to `double`.