reverted proxxy.py and tooltool.py to mozilla/master version (pushed by mistake)