Find/Create gruvbox-dark theme for GRUB boot loader

[praktikantonelli]

The default GRUB theme doesn't respect the gruvbox-dark palette:

Should be replaced with a gruvbox-dark theme.