Menu generation command

Command used to rebuild the generated GRUB menu file, such as grub2-mkconfig or grub-mkconfig.

When regenerating the menu, Webmin writes to a temporary file first, checks that generated file, and replaces the live menu only after the checks pass.