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.