doc/conf.py: include command name in texinfo document title