Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories