add gecode installation instructions