[FIX] Core: call read() instead of next() in BufferInput.readString(), so that ArrayInput works correctly.
Merge pull request #719 from dimitarp/fix-buffer-input

[FIX] Core: call read() instead of next() in BufferInput.readString(), s...
[FIX] XQuery, serialization: interpret xml:space attribute
[MOD] GUI: Layout updated (buttons moved, component resized)
[MOD] GUI: wording; info view: query output readded
[MOD] GUI, Mac: make editor tabs focusable
[MOD] GUI: Add shortcuts to tooltips
Merge branch 'basex/master'

Conflicts:
	src/main/java/org/basex/gui/editor/Editor.java