Updated usage of runtests.py in docs/intro/contributing.txt.