jannson based json encoder and decoder for PHP