[PATCH] Refactor Matcher<T> and DynTypedMatcher to reduce overhead of casts.

[Samuel Benzaquen]

The current snapshot is the revert of the revert. It does not include any fix yet.
This way is the fixes are easier to review.
I'll update when it is ready to review.

http://reviews.llvm.org/D5542