Update gecode.
Add excel test. Replace snprintf with Format.