Make GUI compatible with changed font size and dpi settings of windows

[mastersign]

Support changed font sizes and HighDPI displays properly.

Implement this checklist and test the result:
http://stackoverflow.com/questions/22735174/how-to-write-winforms-code-that-auto-scales-to-system-font-and-dpi-settings#29766847