propagate from branch 'it.lapo.asn1js' (head 57c65b5f8aea66acf97fb46ffa573df8813a7bf5)
            to branch 'it.lapo.asn1js.github-5' (head b931f4d339abc9f989ad38e3d36aec68256cbf53)
Add credits for patch.
Closes #5 on GitHub.
Fix Felipe's name.
merge of 'be47140fbd41a5d0e2d58baf2fd90a44320ea6c6'
     and 'd1329583cce6b8afec406d1579dc4659384534d1'
ASN1 decoder depends no more on `Int10`