Mipmap support

Using a mipmap chain we can leverage significantly accelerated downscaling, especially for dynamically changing downscaling ratios. Indeed, we can even combine our kernel-based scalers with explicit mip indices to get some cheap partial downsampling, and fix the rest with custom kernel.

Most importantly, using mipmaps lets us re-use a single mipchain from large source to downscale efficiently to arbitrary resolutions.