After CI, halt and destroy vagrant

In addition to halting, should we destroy vagrant as well?

In the context of: "jenkins disk full". [1]

https://www.pivotaltracker.com/story/show/78043342