FORCE GITHUB GH-PAGES UPDATE

Travis fail to trigger the github gh-pages update... dunno why...