Merge pull request #944 from dart-lang/unicode-whitespace

Handle Unicode whitespace more gracefully.