Update vagrant.sh to handle redirection at github;
remove vdi accidentally checked in;