Tools for dealing with Chrome's CRLSets (ported from https://github.com/agl/crlset-tools)