Add ability to localize the navigation entries

nav.js defines latest/prerelease/current versions in the version menu selector. It also creates a "Home"nav group. If the default language of the site is anything except English, it will be an issue.

It should be possible to rename these entries in other languages.