Add a refine_Relational handler.

Allows refine(x < 0, Q.is_true(x<0)) == True
and refine(Piecewise((1, x<0), (3, True)), Q.is_true(x<0)) == 1.
Merge pull request #2079 from placasse/refine_Relational

Add a refine_Relational handler.