community/picat: rebuild due to upstream rerelease

It appears picat was rereleased, the checksum is different. Notably, this is is different:

-                    printf("Picat version 3.5#5\n");
+                    printf("Picat version 3.6\n");

It's not just the version that is different, the entire archive is different, so it appears that the 3.5 source was released as 3.6.

Rebuild all packages using the new source.