psvenk's contributions to CRLSTime

These versions of CRLSTime are not stable. For the stable version, please see http://crlscs.club.