Improve metadata on files in download page

[Ylannl]

• display file metadata (filesize, MD5)
• detect and show if url is broken (ie for missing tiles)

both can more or less be achieved using the fetch API with a HEAD request. MD5 hash is more tricky.