Removing not stable features stochastic and sat
Updating CHANGELOG to reflect refactoring of stochastic and JaSAT feature
Changing version to 4.0.0
Merge branch 'release/jacop-4.0.0'