Set up a MongoDB sharded cluster using Vagrant for fun and profit