Added first version of the intervals
Added first version of the intervals that compiles
Added widening
Added --unroll parameter
Added --delay (delayed widening)
Removed print_string
Added pretty printing for INT_MAX and INT_MIN