Remove grub menu.lst alias.

AFAICT, this is no longer used by anything.