Jackson Codec

This pull request includes an initial implementation of a Jackson codec, which may be used as an alternative to the Gson codec. It also includes minor improvements to the Javadocs of the EncodeException and DecodeException classes.