GecodeSolverInstance: Added --node, --time, --fail limit options to Gecode
GecodeSolverInstance: Added --node, --time, --fail limit options to Gecode

jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc