Added the Non-Transitive-Dice example
Simplified the Groups problem to take advantage of Concrete's
optimization features and new CSPOM modelling facilities