provision-delete the platform instead of manually

rm -rf on the platform is a very bad idea because it breaks the apache
config and then it fails to restart. provision-delete cleans up
properly.