Gillian: a Multi-language Platform for Compositional Symbolic Analysis