Remove GecodeSolver#dump_problem

GecodeSolver should be compatible with the existing serializer, which
does basically the same thing (except JSON instead of ruby literals)
Use published dep-selector gem (still prerelease)
Document GecodeSolver