Make the docker tutorial work with newer Docker, and add a warning about not using it for deployment.

This is another take on #1311.

Let's get stuff done ...