Matmul refine

Add a refine handler for MatMul objects.  This is a prototype for what could become a larger system.

Motivating discussion at https://groups.google.com/forum/#!topic/sympy/9RLimQ7n0Ww