Port to Choco 3.1.2
Fixed set sum for empty and singleton set.
Port to Choco 3.1.2
String IR classes.
Ref to strings with symmetry breaking.
Implemented join with strings.
Implemented string concatenation.
Implemented prefix and suffix.