vagrant files I use on my box, probably not terribly useful to others