Gridworld: Gridworld V1.13

I am please to announce Gridworld v1.13. It contains all fixes of v1.12 which I had to recall, plus a few extra fixes and additions. Unfortunately, saved world and creatures from older versions will no longer work, but…