Merge pull request #494 from marwahaha/tools-xml

tools now pointing locally

gui.js

@@ -2350,7 +2350,7 @@ IDE_Morph.prototype.projectMenu = function () {
         function () {
             myself.droppedText(
                 myself.getURL(
-                    'http://snap.berkeley.edu/snapsource/tools.xml'
+                    'tools.xml'
                 ),
                 'tools'
             );