dump_spec.lua: write spec directly to file

Summary

• dump_spec.lua: write spec directly to file
• dump_spec.lua: remove dead code

---

• Close nothing
• Cherry-pick to: none
• Staging: https://docs.binary.picodata.io/picodata/asabirov_update_dump_spec_lua