Add index.html that just refers to the GitHub user page.