Gecode 72 crossword instances

These are to be used by /picat/crossword_gecode_problems.pi.