Add note about depsolver change

11.1 goes from the all erlang depsolver back to gecode