Redefined stream operator of class template Matcher