Merge pull request #1 from dart-lang/make-manager-public Provide public access to the ExtensionManager