Reliance on docker is problematic on windows machines

[amueller]

Installing docker requires windows 10 2004 which is blocked on some machines and it might be tricky to install. I didn't manage on my workstation. This might need a workaround for doing this in a teaching environment.

[markusweimer]

Docker works on older Versions of Windows which have Hyper-V installed. However, Windows Home does not include Hyper-V. Hence, the Docker setup works in the following scenarios:

• Any current version of Windows that isn't Windows Home
• Windows Home version 2004 or newer

That being said there is hope. The list of update blocks for Windows 2004 is getting shorter. Also, Microsoft announced backporting WSL2 to earlier Windows versions and Docker has confirmed to enable Docker on those.