Beautified RunDoctestsScript.py classfile.