Mathics in Docker container