Hide changes to index.html in diffs on github

[ryzokuken]

Thanks a lot! I suppose I could further just remove having index.html checked into the tree but that might be overkill for the moment.