Add an index.html page which is a copy of index.php.

Add an index.html page which is a copy of index.php. #2