Added an explicit destructor for MatcherException

Some compilers just can’t live without it
Added missing header

I’m not sure how this compiled on my machine. Fortunately, TravisCI caught it.