A simple (crappy) app to easily change the grub default