testrunner.py: better diagnostic messages when no tests found