Adding a placeholder index.html for github pages