Simple JSON Writer library for PHP 5.3+