Update linter engine to use driver (linter#743).

Update linter engine to use driver (linter#743).

R=brianwilkerson@google.com, scheglov@google.com

See: https://github.com/dart-lang/linter/issues/743
Committed: https://github.com/dart-lang/sdk/commit/b72742e8dad52f1e499fea6202b1977c16c2c493

[pquitslund, 2017-07-25 20:55:34]

pquitslund@google.com changed reviewers:
+ brianwilkerson@google.com, scheglov@google.com

[pquitslund, 2017-07-25 20:55:47]

Description was changed from

==========
Update linter engine to use driver (linter#743).
==========

to

==========
Update linter engine to use driver (linter#743).

See: https://github.com/dart-lang/linter/issues/743
==========

[scheglov, 2017-07-25 21:00:02]

LGTM

[Brian Wilkerson, 2017-07-25 21:06:56]

lgtm

[pquitslund, 2017-07-25 21:23:02]

Description was changed from

==========
Update linter engine to use driver (linter#743).

See: https://github.com/dart-lang/linter/issues/743
==========

to

==========
Update linter engine to use driver (linter#743).

R=brianwilkerson@google.com, scheglov@google.com

See: https://github.com/dart-lang/linter/issues/743
Committed:
https://github.com/dart-lang/sdk/commit/b72742e8dad52f1e499fea6202b1977c16c2c493
==========

[pquitslund, 2017-07-25 21:23:04]

Committed patchset #1 (id:1) manually as
b72742e8dad52f1e499fea6202b1977c16c2c493 (presubmit successful).