python format

Change the Python scripts to follow Python indenting standards (4 spaceindents, spaces only).

@michaelcahill: this change appears to work, and  doesn't change the formats of any files created by the scripts.