Merge pull request #852 from dart-lang/bump

Get ready to publish 1.3.0.