A Dockerfile for creating an IRC server Docker container