Remove Ruby Solver

now replaced by Gecode Resolver