Change Dockerfile base image in docker-intro.

Closes #16.