Deleted files for vagrant and docker.