Add a sorter for VdmNavigator.

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

[Issue: #373]
Merge branch 'ldc/quickies' into development.

close #373
close #276
Merge remote-tracking branch 'origin/development' into ncb/development