Grub Customizer should be included in Linux Mint repositor

[Brahim]

Grub Customizer is a graphical configuration tool to modify the grub2/burg settings with focus on the individual list order - without losing the dynamical behavior of grub - also usable on live cds. Settings like the background or timeouts are also changeable using Grub Customizer.