Set progname for command line help.

This needs the yet unreleased mr.awsome 1.0rc5