An abandoned port of the awesome ASN.1 Javascript Decoder for GPG messages