Grub Customizer - a graphical grub2 settings manager

Comment 3 for bug 908500

Grub Customizer 2.5 is released now