Delete Docker workshop.txt