use another Vagrant Box; install Docker