Customizing Linux GRUB (Part I) : Adding more Operating System Entries, Changing OS Names, setting Fedora GRUB as default instead of Ubuntu