Implement string.trim for dart2js.

tests/corelib/string_trim2_test.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import "package:expect/expect.dart";
 
-// TODO(floitsch): Test 0x85 when dart2js supports it.
 const WHITESPACE = const [
   9,
   10,
   11,
   12,
   13,
   0x20,
+  0x85,
   0xA0,
   0x1680,
   0x180E,
   0x2000,
   0x2001,
   0x2002,
   0x2003,
   0x2004,
   0x2005,
   0x2006,
@@ skipping 11 matching lines @@
 
 main() {
   for (var ws in WHITESPACE) {
     Expect.equals("", new String.fromCharCode(ws).trim());
   }
   Expect.equals("", new String.fromCharCodes(WHITESPACE).trim());
   for (var ws in WHITESPACE) {
     var c = new String.fromCharCode(ws);
     Expect.equals("a", ("a" + c).trim());
     Expect.equals("a", (c + "a").trim());
     Expect.equals("a", (c + c + "a" + c + c).trim());

[sra1, 2013/05/22 22:39:03]

It might be removing all characters, add e.g.
equals('a' + c + 'b',  c + 'a' + c + 'b' + c)

[floitsch, 2013/05/23 12:52:50]

Done in another CL.

   }
 }