Rename index.html so the autograder picks it up