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>