Merge branch 'release/jacop-4.0.0' into develop
Initial version of the wiki explaining JaCoP gitflow
Changing the artefact version to 4.0.1-SNAPSHOT
Adding check for singleton to in methods to avoid generating false ground events
Fixing a bug defining pririty for the constraint.
Improving max constraint generation in flatzinc when argumnet is greater equal the other one. In such case equality constraint can be posed.
Making selection of which domain (interval or small dense) easier by selecting boolean interval variable.
Refactoring the equality check to make it quicker
Merge branch 'feature/efficient-smalldensedomain' into develop
We do merge since Constraint file is ahead of develop.

Merge branch 'develop' of https://bitbucket.org/radsz/jacop into develop
Correcting incorrect behaviour of IndomainMiddle in case of SmallDenseDomain. It performed indomain median instead.
Implementing for flatzinc set variable selection heuristic "largest".
Adding implied constraint Alldistinct (complete version of alldifferent) when annotation domain is present in flatzinc.
1. Adding alldistinct constraint for circuit when domain consistency is reqiuired by specifying domain annotation.
2. Lex constraint decomposition is change to make primitive constraints when only two lists are given regardless of the size of lists. It will be used by flatzinc.
Correcting a bug in creation of element constraint in flatzinc.
Correcting an error when, in flatzinc, a set element constraint is defined with the list of set variables. Such constraint is not available in JaCoP and the model is not posed.
Correcting method for determining not satisfiability of AinB constraints.
Adding, in flatzinc, reification for set constraint A != B.
Correcting set le and ge with right version of org.jacop.set.constraints.Lex allowing equality.
Changes in flatzinc to conform to flatzinc standard. Bug fixes in setting set constraints.
Bug fix in Linear constraint. FailException cannot be thrown when method queueVariable is executed since it cannot be catch by the solver.