Our Vagrantfile for edX configuration