Require the two properties to have same dimension in tryCompare.
Add isConstant to LinearForm.
Add isZero to LF.
Overhaul linear expressions and conditions parsers.
Add Mockito support in the SBT definition.
Add support for numeric expressions and assignments.
Add parser for numeric expressions.
Rename LinearExpressionParser into LinearFormParser.
Make LinearFormParser generate a LinearForm over doubles instead of ints.

Doubles are more general than ints, therefore it is a better temporary
solution until a proper handling of numeric types is implemented.
Convert targets to use NumericExpression.
Remove LinearAssignment class.

It is completely subsumed by NumericAssignment (which is itself not very
useful).
Correctly print variable names in LTS target.
Add support for regions into LTS target.
Rename LinearCond into NumericCondition.

Also remove linearcondition package.
Add a target class for multiple assignments.
Add support for multiple assignments in LTS.
Add mkString to LTS target for pretty printing annotations.
Fix interplay between narrowing and initial conditions in LTS.

Initial conditions should always be applied during descending phase,
at least in the narrowing points.
Add missing copyright notice.
Add wideningLocation/narrowingLocation parameters.

This parameter specify where to put widenings and narrowing.
Current choices are: all points, all loop joins.