Training Federated GANs with Theoretical Guarantees: A Universal Aggregation Approach