remove unused Docker code (now tools are Dockerized at a higher level)