Updated scala to 2.11.0-RC4, upgraded libraries accordingly
Corrected case with all-diff on constants only
New syntax for lexleq using <= operator on CSPOMSeqs. Updated implicits to avoid ambiguities.
Optimized interval to bit vector conversions