HiDPI support

Hey!

Probably relates to #21 

Java on Linux is apparently hard to convince to scale its display up. Some googling suggests a newer JDK might just magically fix things, but scelight will require some shims to fill in for removed classes.

Alternatively I've seen programs like JDownloader offer a manual internal "font scale" setting.