Batch delete element
Refs https://gitlab.com/arkindex/requests/-/issues/580
Now that we have deletion tool for elements in the annotation sidebar, we can allow the "batch annotation" mode for that tool: when enabled, the modal is NOT displayed, the user directly deletes every element he clicks on.