Made the parser for grub.cfg more robust.
Added support for Gnome-Shell 3.6