Adds Mariposa portal to Vagrantfile