py-gnitset-run: Change full-cmdline to cmdline
Doc improvements