Tweaks to index
Merge branch 'gh-pages' of https://github.com/berthelemy/bourgeal2 into gh-pages

* 'gh-pages' of https://github.com/berthelemy/bourgeal2:
  Update index.html

Conflicts:
	out/index.html