Make gecode output more informative and add the option outfreq to control output frequency.
Fix warnings.