A Docker container for a DSLab Jenkins slave