don't rename index.html to indexpage.html in coqdocjs target

Fixes some broken links in the generated "pretty" documentation. There is really no reason to rename the file; it's unclear why it was ever done.

merged