Hide defunct option in INSTALLATION.md
Do not use broken mirror (Closes #260)