Change optimization counter threshold 3000 -> 15000.
Change optimization counter threshold 3000 -> 15000.

This improves startup time considerably (30% dart2js Hello.dart, 20% others)

R=iposva@google.com

Review URL: https://codereview.chromium.org//17306003

git-svn-id: c93d8a2297af3b929165606efe145742a534bc71@24117 260f80e4-7a28-3924-810f-c04153c831b5

dart-lang/sdk,dartino/dart-sdk,dartino/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk,dartino/dart-sdk,dart-archive/dart-sdk,dart-lang/sdk,dart-lang/sdk,dart-archive/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dart-lang/sdk,dartino/dart-sdk,dartino/dart-sdk,dart-archive/dart-sdk,dart-archive/dart-sdk,dart-archive/dart-sdk,dart-lang/sdk,dartino/dart-sdk,dartino/dart-sdk,dart-lang/sdk,dart-archive/dart-sdk,dart-archive/dart-sdk,dart-archive/dart-sdk