x11-toolkits/gnustep-gui: update to 0_31_1
ChangeLog: https://github.com/gnustep/libs-gui/releases/tag/gui-0_31_1
Reported by: portscout