Update json2.js to version 2013-05-26.