get json2.js through WebJars

instead of having custom code for a custom download from our custom
server, yuck
Tortoise: fix comment
Merge pull request #498 from NetLogo/get-json2-js-from-a-webjar

get json2.js through WebJars