Merge pull request #2580 from alex/crl-number-hash

Refs #2578 -- implement __hash__ on CRLNumber