Generate and use mipmaps for screen textures

Screen previews use mipmaps unconditionally. Trilinear filtering is enabled for screen windows (if they are shrunk; magnification is not affected). The latter can be turned off with a new config option.