jenkins is now based on phusion and has vagrant-aws plugin; provision does a bit more cleanup, and doesn't fail on first non 0-exit command