A Docker container for MySQL