make clean in update-gh-pages script to make sure files are deleted properly
[auto] merged master into gh-pages
[auto] updated gh-pages