JSON_PRETTY_PRINT introduced only with PHP 5.4

Apparently JSON_PRETTY_PRINT option was only introduced with PHP 5.4
therefore we use FormatJson::encode() which does pretty print in PHP 5.3
Merge pull request #85 from SemanticMediaWiki/json

JSON_PRETTY_PRINT introduced only with PHP 5.4