Added a new property: web.displayUserPanel

This property allows 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).
Merged #226 "Added a new property: web.displayUserPanel"