Selection provider refactoring: now there's only one selection provider (the spoofax one). Before there were two (the spoofax one and the jface one).
Set outline selection also when text selection is empty.
race condition fix: the carret listener may receive carret moved events before the new TextSelection is available. Therefore, also add a listener to the text selection provider and generate new strategoTermSelections upon a selection change.
updated temporary workaround for Spoofax/812 with changes to selection provider
because we made the generation of new selections asynchronous, we now need to debounce outline selections using a sleep(..). this should be improved in the future
fixed workaround for Spoofax/812. Earlier fix gave errors in IMPs autoEditStrategy.
see previous commit
Don't make updating the outline or the outline selection block the UI.
Update runtime libraries
Adapt to new package name.
Revert "Update runtime libraries"

This reverts commit 5dfa15264e9164448ffcd15733ab1dc4182b5702.
Spoofax/851
fix ConcurrentModificationException
Revert "fix ConcurrentModificationException"

This reverts commit 27705e31f429b68458586526bb100a4cdfc53568.
Revert "Spoofax/851"

This reverts commit 57cc402632e50b8749b84c1b6eba3487a9542d70.
fix ConcurrentModificationException once and for all https://community.oracle.com/message/9027285
Update runtime libraries
Revert "Update runtime libraries"

This reverts commit 6a098e72dc36991fca449368937927b8cc2616de.
give IMP synchronized instead of asynchronized selection, such that it
applies auto editing on most recent text selection
Merge branch 'master' of https://github.com/metaborg/spoofax