Update doc Vagrantfile and Dockerfile to use kaji repos