scripts: remove non-functional Dockerfile
Merge pull request #1029 from jonboulle/docker

scripts: remove non-functional Dockerfile