Document the class group implementation and additively homomorphic encryption

[jtcoolen]

In particular, justify all formulas used. Also stress that class group based cryptography is not post-quantum secure!

[jtcoolen]

Also, check the performance of the class group homomorphic encryption vs Pailler's encryption (the former should be more efficient).