ch-docker-run: remove

This script is untested, and upon examination shows a lot of bit rot. I believe it adds little value to of simply running sudo docker commands yourself.

If anyone wants to keep it, speak up promptly.