Fix some facts about Abs

The facts should have been Implies, not Equivalent, because the argument of
Abs could be complex.
Merge branch 'newassump' of github.com:asmeurer/sympy into newassump