Welcome new GSoC 2025 contributors!

I'm pleased to welcome seven new Google Summer of Code 2025 contributors to the Postgres community!