Use native json pretty printing if available

`JSON_PRETTY_PRINT` constant has been available since PHP5.4, so let's use it.
You are of course completely right, must not have been properly awake yet when I did this ;-)