move Docker documentation into CONTRIBUTING.md
remove unnecessary file