Update index.html

Gedit n'est pas forcément installé sur tous les systèmes. Remplacer par nano est plus sûr car présent partout.