updated download page
compile html