Util: make trimWhitespace() linear and not quadratic
Util: make trimWhitespace() linear and not quadratic

For this use int "pointers" because the type of Caml strings is not a
list and it is thus probable that any attempt to write a purely
functional function would result in an inefficient implementation
(since String.sub according to its doc always makes a copy).

paulp/unison