remove enforced dev ruby version
remove original Solver
switch GecodeSolver to Solver
update benchmark tool
rename gecode solver spec to solver spec
formatting fixes
remove tracers

these are no longer used for output debug info