Simple, fast, extensible JSON encoder/decoder for Python (splits in two packages for python 2 and python 3)