Initial high DPI support, mostly for Android.

TODO: render fonts in their proper resolutions.
Where high DPI allows, render fonts in high resolution.

It looks beautiful.