add gecode installation instructions to README (temporary)