Docker container to run sympy's test suite