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
Add new interface for tagging assistants.

[Issue: #330]
Tag assistants in core/ast.

[Issue: #330]
Remove the build status tag from the readme

(Given that it non-deterministically fails due to dependency downloads)
Merge remote-tracking branch 'origin/development' into ldc/quickies
Rename assistant interface to AstAssistant.

New name is more descriptive.

[Issue: #330]
Add interface marker to POG assistants.

[Issue: #330]
Add interface marker to interpreter def and exp assistants.

[Issue: #330]
Delete hollow assistant.

[Issue: #330]
Tag interpreter pattern assistants.

[Issue: #330]
Tag interpreter stmt assistants.

[Issue: #330]
Delete unused assistant.

[Issue: #330]
Delete vdmj compatibility tests

Not used anymore.

[Issue: close #377]