Added menu option to reboot into Grub
Merge pull request #3 from zhuowei/grub-reboot

Add menu option to reboot into grub