GWT: x.x, Display corpus name in the "Documentation" tab label

Currently, the Documentation tab name is fixed whatever the corpus is.

The corpus name must be displayed.

Solution

Tab must have:

• Name = (home icon) CORPUSNAME
• Tooltip = CORPUSNAME - Home / CORPUSNAME - Accueil… (depending on locale)

Toolbar button must have

• Tooltip = Home / Accueil

(from redmine: issue id 1002, created on 2014/09/08 by Alexey Lavrentev)