Use new Tern API to avoid adding same defs+plugins. See
https://github.com/angelozerr/angularjs-eclipse/pull/56