[FIX] GUI, Editor: update modification flag after saving file
[MIN] GUI, Editor: reopening of files revised
[MIN] GUI, Editor: add escape key listener to search panel buttons
[MIN] GUI, Editor, find next: select current hit before jumping to next
[MIN] GUI, Editor: omit scrolling after switching tabs
[ADD] GUI, Editor, GH-571: jump to line (Ctrl-L)
Merge pull request #596 from LukasK/fixes

[FIX] XQUF: duplicate attributes as a result from deletes,inserts,replaces ...
[MIN] XQuery, XSLT module: streamed processing of XML and XSL input
[FIX] XQuery, adjust dates: reject timezones >1day
[FIX] XQuery, QT3TS, cbcl-adjust-date-to-timezone-004
[FIX] XQuery, various date/time limitation checks added
[MOD] XQuery, subsequence(): optimized evaluation of range sequences
[FIX] XQuery, cbcl-matches-004 fixed
[FIX] XQuery, QT3TS: base64-906 fixed
[MIN] XQuery, error message revised (xs:binary())
[MOD] XQuery: speeding up sequence functions: subsequence(), reverse()
[FIX] XQuery, dividing durations (cbcl-avg-004)
[FIX] XQuery, dividing durations (cbcl-avg-004)
Merge branch 'master' of github.com:BaseXdb/basex

Conflicts:
	src/main/java/org/basex/query/value/item/DTd.java
[ADD] XQuery, HTML5 Serialization: closes #597