New formatting scripts.

The use/defs extraction in runoff still needs some work
for xv6 code style.