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