Add toggle to change automatic intervention mode from coach

Tobias Möhringrequested to merge
intervention-toggle into rwth-development

Interface to set the automatic intervention feature of Teach-R from the frontend at runtime.

Emits message of type "setAutomaticIntervention" with boolean payload indicating whether students should cease misbehaving close to the teacher or not.

Merge request reports