Allow UUID encoding in JSONEncoder

This will allow UUID encoding in `jsonify`. UUID is straightforward to convert.

Hope that helps,

Charles