split up Docker and Vagrant install instructions