[GINR] link to doid in explore menue

conf/locale/locale_en-GB.ini

@@ -1,3 +1,5 @@
+gindoi=Registered Datasets
+
 app_desc=A painless self-hosted Git service
 
 home=Home
@@ -1295,6 +1297,7 @@ notices.desc=Description
 notices.op=Op.
 notices.delete_success=System notices have been deleted successfully.
 
+
 [action]
 create_repo=created repository <a href="%s">%s</a>
 rename_repo=renamed repository from <code>%[1]s</code> to <a href="%[2]s">%[3]s</a>

conf/locale/locale_en-US.ini

@@ -1,3 +1,5 @@
+gindoi = Registered Datasets
+
 app_desc = A painless self-hosted Git service
 
 home = Home

templates/explore/navbar.tmpl

@@ -4,6 +4,9 @@
 		<a class="{{if .PageIsExploreRepositories}}active{{end}} item" href="{{AppSubURL}}/explore/repos">
 			<span class="octicon octicon-repo"></span> {{.i18n.Tr "explore.repos"}}
 		</a>
+		<a class="item" href="https://doid.gin.g-node.org">
+			<span class="octicon octicon-mortar-board"></span> {{.i18n.Tr "gindoi"}}
+		</a>
 		{{if .LoggedUser}}
 		<a class="{{if .PageIsExploreUsers}}active{{end}} item" href="{{AppSubURL}}/explore/users">
 			<span class="octicon octicon-person"></span> {{.i18n.Tr "explore.users"}}