Use vagrant from github