Update vagrant.sh

Replacing the edx repository by the edulib repository