GROOVY-6303:  Add ability to use a different font for groovyConsole

 converted patch supplied by Ingo Hoffmann to pull request