Merge pull request #313 from wolfgangmm/develop

New range index: interface to normalise indexed keys on the fly
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
Fix for Ant Extract task: files were forced to have a .xml or .binary extension without no good reason.
https://github.com/eXist-db/exist/issues/304
Fix error in Message Number
Merge pull request #318 from gspringtech/develop

Fix error in Message Number
Update XMLDBExtractTask.java

comment out exception ; the code is really not used anymore
Merge pull request #316 from dizzzz/fix_ant_task

Fix for Ant Extract task: use original file extensions
[bugfix] new range index: properly use only queried collections to determine if index is available. There might be conflicting index definitions in other collections!
Merge branch 'develop' of https://github.com/eXist-db/exist into develop