also delete two files associated with Vagrantfile in edx-platform