rename gecode solver spec to solver spec
formatting fixes
remove tracers

these are no longer used for output debug info