Write specification

[zombiezen]

Not needed until the project stabilizes, but want to put it on roadmap early. Exact scope TBD, but at a minimum:

• [ ] Lua version
• [ ] Lua libraries available
• [ ] Store path hashing algorithm
• [ ] .drv format
• [ ] Execution environment details
• [ ] Sandboxing details