Add gecode library source