Allow overriding of mirror

This commit allows overriding the mirror selection via the `$MIRROR` environment variable, for faster downloads outside of US. A new command line option `-m` is added.

PS: From a quick grep it seems the `$CUSTOMURL` option is never used. Maybe it is kept for a reason?