Adapt zoom level for high dpi displays (#67).
Fixed GTK3 compile error (#67).
Merge branch 'fix/high-dpi'

Conflicts:
	src/config.def.h