fix for completion which failed when trying to obtain a name from a value definition
Added new overture feature "QuickFix" for adding standard libraries to vdm project with has error markers indicating that these may be missing. close #316
Merge remote-tracking branch 'origin/kel/astv2' into ncb/development