vagrant docker coreos