The json encoding modules from mochiweb