Ultra fast JSON encoder and decoder for Python