Add ECC arithmetic primitives

This includes point addition, doubling and multiplication.
Add ECDSA signature generation
Add ECDSA signing and verification
Add ECDSA QuickCheck tests

This includes:
 - Arbitrary message with fixed prime curve.
 - Arbitrary message with fixed binary curve.
 - Fixed message with arbitrary curve.