update vagrant url for devpypi