To prevent pupils from filling up the cache partition with VM snapshots,
the snapshot functionality has been disabled for the VirtualBox VMs.
Additionally, the machine menu isn't displayed anymore inside the mini
toolbar.