Oops: commit modified generated files too.

Cool side-effect: their formatting is more correct now.