updated download.html (added SHA1 sums and ISO sizes)