Updated Vagrantfile so it downloads mongo source files if not already present