Adding toggle request event

This event is used to request an application that handles selection state to toggle a list of IDs.

The rationale is that having every application tracking the selection state and sending the full selection to all others may lead to inconsistencies in the presence of race conditions in the global order of events.
This pull request build on top of the open request by @jafyvilla.
naming selectionEvent?