lint config for JXG and Util
minor refactoring and bugfixes