gh-pages/doc/index.html vs. master/tex/index.html

[fingolfin]

These two files in two branches are very close in content, but crucially, some of the data for dimension 6 differs. Based on some detective work by @DominikBernhardt it seems that the one in gh-pages is more recent and thus hopefully correct. We should resolve this and sync the two (see also issue #94).