Changes on [CL03] 

Hi,

I've added a header in implementation of the Camenisch-Lysyanskaya signature together with:

1. verifyCommit function
2. The size of e is now verified in verify and verifyCommit functions
3. A second test has been added in doctest for a block of messages Cx based
on [CL03], page 8, Section 4, Signing algorithm. I'm not sure if it would be better to use an
implementation of the Fujisaki-Okamoto commitment, as utilized in [CL03], p.10 for Cx. However, in that case,
b^s would be redundant in the signCommit function. 

Best regards,
Antonio

PS: I really don't know who was the original author of this implementation.