Added the mkdownload.tcl script for generating the download.html page.