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
I don't understand why this is necessary. The base class is_polynomial should be False already, since is_polynomial works structurally, not mathematically.