Docker image for BaseX 8.0