Teach format.py to normalize (indent and wrap lines)

This isn't good enough to be enforced yet, but let's us try things out.

The indent depth and max line length may still need tweaking.