Add support for (soft) interrupts

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add neg, div, power to interval. Fix bug in -= operator at interval. Add some unit tests for interval class

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>