fixed github-publish by adding leading-.dot-files to the copy-phase
Merge branch 'fix-missing-leading-dot-files-in-github-publishing'

Conflicts:
	scripts/publish-git-pages.sh