Add build instructions for gecode.