Added a new property web.displayUserPanel allowing the administrator to
hide the user related part of the top panel. This can come handy if
there's no use for it (i.e. if Gitblit runs as Gerrit plugin).