Fixes #1264 Add a repository label attribute to git repos so that 'Wiki' tab label can be controlled via server configuration.