Update vagrant.sh

Changing from edx repository to edulib repository.