Linear constraint and domain for flatzinc

Performance improvements for Linear constraint.
Removing usage of SmallDenseDomain in flatzinc interpreter since it
generates a bug.