Revert "Actually, let's remove vagrant, too much stuff"

This reverts commit 9717d1c8faed5784ba72dd1d7cc0ebdcc4c6bc81.