integrate text editor into grub, so that we can edit the configuration files in grub at boot