Renamed reduction tool to test-suite-reduction.