bug#26339: [PATCH 03/18] scripts: system: Rename --no-grub option to --no-bootloader.

[Danny Milosavljevic]

Hi,

> -         (option '("no-grub") #f #f
> +         (option '("no-bootloader") #f #f

I'd prefer if it accepted both options - for backward compatibility.  We don't 
know what scripts people use on top of guix - and it's likely that many user 
scripts already pass "--no-grub", especially since the less-dangerous choice is 
to pass it (as opposed to not pass it).  There is no harm in supporting both 
options.