chore: Remove obsolete Docker-based processes

The Dockerfile is ancient, and the scripts are only used to support
the Docker workflow.

While we *could* update everything, it seems unlikely that anyone is
using these files, so it's simpler to just remove them.

Author: jskeet