Since it may not be preferable to add -Dhttp.proxyHost since this would
affect the whole build, you can now set proxyHost and proxyPort _only_
for the Mongo download.