Renamed "prototype.html" to "index.html"

This way, we don't have to put "prototype.html" in the URL path, since
it automatically defaults to "index.html"