Add a DER encoder and decoder