Tools for dealing with Chrome's CRLSets