Add a sorter for VdmNavigator.

[Issue: #276]
Merge remote-tracking branch 'origin/development' into ldc/quickies
Fix handling of VDMTools path.

[Issue: #373]