[GH121] Added new user variable, mirror, that can be used to override the (mostly-US-centric) HTTP sites for speeding up builds in other regions.
Fix missing mirror variable.