spec_tests.py:  return success status on --dump-tests.