Manage Tern nature.
Merge branch 'master' of https://github.com/angelozerr/tern.java.git