properties: query properties with multiple results
Merge branch 'master' of https://github.com/metaborg/runtime-libraries
Merge branch 'master' of https://github.com/metaborg/runtime-libraries
editor/properties: a default get-editor-properties implementation for the properties view
editor/properties: fix stack trace if there were no nabl properties
editor/properties view: remove nested annotations in view
Merge pull request #6 from dcharkes/master

properties: query properties with multiple results + editor/properties view