Simple, fast, extensible JSON encoder/decoder for Python