sync with master
automate syncing readme with master
Generate index.html instead of README.html
add index.html
Copy `README.html' instead of moving it.

When moving `README.html', `make' always regenerates it when creating
`index.html', which is not the desired behavior.  With copying,
`README.html' is regenerated as necessary.