Use native json pretty printing if available

`JSON_PRETTY_PRINT` constant has been available since PHP5.4, so let's use it.