add setup
a few convenient scripts
gh pages update
ghpages script
Revert "gh pages update"

This reverts commit 62b77788e0864ec01432ea1fd6e3907d14eec026.

Conflicts:
	gh_pages.bat
cover branches
Merge branch 'master' into gh-pages

Conflicts:
	doc.bat
don't merge master automatically
Merge branch 'master' into gh-pages
gh pages update