Certificates can now be pickled.

Added reduce method for Abstract class, so pickle can figure out how to create instances of classes generated by implicit/explicit.
the name is a bit odd here - how about implicitness or implicit_info ?