Merge pull request #303 from adamretter/develop

Added javadoc regarding the use of Node#insertBefore and
Merge pull request #308 from adamretter/develop

Specify a default thread pool for quartz
[bugfix] Fix higher-order utility functions to comply with latest XQuery spec. Order of arguments to filter, fold-left and fold-right has changed. Added hack to preserve backwards compatibility for fn:filter: dashboard would crash if users update.
Merge pull request #309 from wolfgangmm/develop

[bugfix] Fix higher-order utility functions to comply with latest XQuery...
Fixing the version feature on splash-screen
Merge pull request #311 from ljo/develop

Fixing the version feature on splash-screen
[testsuite] Fix testsuite: broken due to changed filter and fold-left functions.
[bugfix] new range index: convert type of lookup key to index type where necessary
[bugfix] new range index: wrong type returned for field
[ignore] Error is expected in test case.
Merge pull request #312 from wolfgangmm/develop

[bugfix] choose correct type for range index lookup
[feature] new range index: add a simple mechanism to normalise index keys on the fly.
Merge branch 'develop' of https://github.com/eXist-db/exist into develop
Merge pull request #313 from wolfgangmm/develop

New range index: interface to normalise indexed keys on the fly
[bugfix] new range index: wrong type returned by scan through index configurations
Merge pull request #314 from wolfgangmm/develop

[bugfix] new range index: wrong type returned by scan through index conf
reformat to understand code
Fix for wrong output file:file:directory-list() see  https://github.com/eXist-db/exist/issues/310
Small code refactorings
Merge pull request #315 from dizzzz/fix_file_module

Fix file module