DSON encoder/decoder for Python