added debian to docker machines