added red-green MiniSpec reporters