Implement Karr definition for summations with reversed limits (issue 3175)

See discussion in:
http://code.google.com/p/sympy/issues/detail?id=3175
and PR #1696