Make font for Groovy Syntax highlighting editor configurable and use a (more) unicode-capable default font