Removed `json.js` from the source tree, as it's anyway natively supported by all recent browsers

and anyway it was never included in any build since the beginning ;)