Improve check-mirror to follow links in HTML pages
Originally created by @sajolida on #7865 (Redmine)
Some generous contributor proposed us an hidden location to host our
ISO
image. But the URL for the ISO image is not always the same. It has to
be parsed from an HTML page. Our check-mirror script should be able to
parse HTML pages to find such links.