Modify makefile to execuate: git push -f origin gh-pages when updating remote gh-page branch