Delete docker backend

It’s unmaintained, untested, broken, and we don't run it on CI.

Closes #282
Closes #120
Closes #119
Closes #118