Comment 10 for bug 1439447

So, after even more discussions today, it was decided that we will just disable the proxy for the tools download when we're not the bootstrap node. There's a convenient --noproxy option for curl which I tested and it will actually disable the proxy for the curl command in question. I'll finish up the tests for this and push up the changes in the morning.