Update the do-while section with a discussion of unusual variable scoping

It is unusual, but appealing, that the scope of variables defined in the body of a do-while loop
extends to cover the do-while termination expression.  Update the spec to discuss this.

Tested the example code off-line to avoid any problems in weekend nightly builds.