Enhance the platform detection mechanism to correctly spot Debian; use Python platform module a little more. Refactor code. Spotted with @eliotberriot.
version bump
Merge branch 'release/3.13' into develop