Remove Runtime Gecode Solver Backend from monadiccp package