Update BaseXKeys.java

Changing BaseXKeys last parameter from boolean to int, so we can make difference between modification key (SHIFT, ALT, ...)
It's needed, because $ on the hungarian keyboard is  CRTL ALT Home and CTRL Home is a jump to textstart. So need to disable jumping when CTRL ALT Home is pressed.
Update BaseXKeys.java

comment in line 127 was wrong
Merge branch 'patch-8' of https://github.com/KissDaniGH/basex
[MOD] GUI, #1007: Better control over modifier keys