scripts: push index.html in update_gh-pages_demo script
scripts: push index.html in update_gh-pages_demo script

canalplus/rx-player,canalplus/rx-player,canalplus/rx-player,canalplus/rx-player,canalplus/rx-player