Support type+version for custom tern plugin.
Merge branch 'master' of https://github.com/angelozerr/tern.java.git