Added support for using mipmaps on GL-backends.

This ostensibly can improve the appearance of images that are scaled down
substantially, but bear in mind that the image must first be expanded to a
power-of-two which involves scaling it up. This then means that the non-scaled
version of the image looks less good because it is now scaled down from the
expanded power-of-two version. So YMMV.