Docker image for a devpi server