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.

Add some more explanation and notes to the readme.