dding tgz option to make-distribution.sh
adding files generated from make-distribution.sh to .gitignore
Merge remote-tracking branch 'origin/pr/704'

Conflicts:
	make-distribution.sh