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.