Fix GNU non-Linux platforms

Add a PLATFORM_GNU global variable matching all GNU systems such as Debian's Linux, kFreeBSD and Hurd.

This fixes the build for non-Linux platforms, see: https://buildd.debian.org/status/package.php?p=colobot