Time how long it takes to run bench.chap5a.
Fix comment about which forms loop.

The label forms also loop, because in the body of "fact", the form
`(fact ((- x) a))' is evaluated before the k-combinator returned by `='
is applied.
Fix indenting of line 1274: use tabs instead of spaces.