Make install.html available on the project page.