Improve documentation of the basic traits in the domain hierarchy.
Fix several limit cases discovered by test suites.
Reorganize tests on numerical domains in a hierarchy of traits.
Remove spurious commas in string conversion in JVMAsmFixedFrame.
Fix JVMAsmSuite.
Add comments on how to use/disable native libraries in Breeze.
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 resource directory to the Eclipse project.
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.