A Dockerfile that produces a Docker Image for MySQL