Update dev docs a bit

[jimporter]

The dev docs are really behind; update these so that at least the basics are covered. Here's what we need:

• [x] Build backends
• [x] Build tools
• [x] Builtins