Added new user variable: mirror

iso_url uses a fixed mirror site such as mirrors.kernel.org, but this is much slow from foreign countries.
I added user variable mirror, and replaced iso_url with user variable.
This may be also convenience if local (intranet) mirror exists.