Fix generation of the index_urls.txt file.

Hevea has stopped producing HTML4 code two years ago. So the old sed
expression was producing an empty index file for any user with a
non-deprecated version of hevea.
Install index_urls.txt in a location where coqide might actually find it.