Small changes for integration of Abs

- rewritten as Abs as Heaviside
- rewritten as Heavisides as sign
- integrals with simple heaviside terms
- added ExprCondPair.is_polynomial
The docstring doesn't mention this, but it agrees with https://en.wikipedia.org/wiki/Sign_function#Complex_signum, so I think it's a good definition.