A fast JSON formatting utility