encoder: encode bitstr as it is for now
der: support utctime
base: better error reporting in encoder