runtests.py:  Added --dump-tests option to dump tests as JSON.