upload github.html
Merge branch 'master' into refresh

Conflicts:
	doc/html/cluster/5.github.html
	doc/html/cluster/5_github.html
	doc/html/version_controlling_system/github.html
rearrange