Delete Makefile

The Makefile is uneccessary, since the container will be pulled from the docker index and run manually.