DER ecncoding: implement DerGtime::toIsoString.