Fix code documentation
Add make.platform.SystemType and related methods in make.platform.Platform
Merge make.platform.PosixPlatform into make.platform.GnuPlatform

With the new association with GNU “system names”, a “POSIX” platform lost
most of its point.