Documentation

Given a program name, return a precise platform-specific executable
name suitable for naming downloadable binaries. Can raise an error if
the version and patch level was not defined correctly at build time.