Updated json.js library
- json.js  2012/10/08
- used non-minified to be consistent with other libraries
- updated filename in page.html.php call