boot2docker: rename to docker