How do I download our Edgedb schema as a TS file for local development? I want to use the builder query form for project development.