Docker files for the automated CGAL test suite