Minor improvements to new domdiff script.

Make script executable, add --quiet option, use more robust boolean processing.

Change-Id: I3b758923294680904b5703540693a90f3d8dfc9f