why not support gzipped font file?

[y.volta]

Hi,

    I noticed that, /font/manager.c:51:

                  file = grub_file_open (filename); 

    so, we can only use pure font file, this will need more than 1MB bytes for 
font file, and more time to load it into memory. 

    well, how about change it to:

                  file = grub_gzfile_open (filename, 1); 

    
Best Regards!