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
include missing requires
Merge pull request #35 from berkshelf/remove-ruby-solver

Remove Ruby Solver