Add rewrite rules for jump functions

- rewrite Abs and sign as Heaviside
- rewrite Heaviside as sign
- rewrite of Max and Min in terms of several Heavisides
Merge pull request #8327 from zanzibar7/rewrite_to_Heaviside

Add rewrite rules for jump functions