GWT: x.x, Rename "documentation" command to "home"

Change:

• the command name in hyperlinks and URLs.
• the parameter “path” name to “corpus”.

(from redmine: issue id 1090, created on 2014/10/22 by Matthieu Decorde)

added type::feature + 1 deleted label

changed milestone to %Portal 0.7