Fix links

run.html

@@ -75,9 +75,9 @@
 					<li class="group" id="top-tuto"><a class="navbar-brand" id="select-tuto" href="#">Tutorial</a></li>
 				</ul>
 				<ul class="nav navbar-nav navbar-right">
-					<li><a class="navbar-brand" href="http://grew.fr/match_doc">Help</a></li>
-					<li><a class="navbar-brand" href="http://gitlab.inria.fr/grew/grew_web/issues">Report</a></li>
-					<li><a class="navbar-brand" href="http://grew.fr">Grew website</a></li>
+					<li><a class="navbar-brand" href="https://grew.fr/grew_match/help">Help</a></li>
+					<li><a class="navbar-brand" href="https://gitlab.inria.fr/grew/grew_match/issues">Report</a></li>
+					<li><a class="navbar-brand" href="https://grew.fr">Grew website</a></li>
 				</ul>
 			</div>
 		</div>