add script header
Merge remote-tracking branch 'refs/remotes/origin/pr/9'

Conflicts:
	python3/runtests.py