grub themes: rework and simplify logo.svg.
grub themes: rename plain.svg to background.svg and simplify the build process accordingly.
grub themes: switch background.svg to a 4:3 variant, grub seems to avoid widescreen resolutions and just scales the images.
NOT RELEASED YET