With 1965 tests, printing names of all tests is no longer useful. This commit switches to "dot" reporter which prints a single dot per test.
Miroslav Bajtoš