A simple Python 2.7.4 based grub.cfg editor.