web: Remove top menu

We can select the pages via a header line now, so there is no need to
have a separate selection page. Start with groups page right away.

web/pages/mxq/mxq.in

@@ -859,14 +859,6 @@ sub selfurl {
 	return $q->url().$path_info;
 }
 
-sub top {
-	return $q->ul(
-		$q->li(a({href=>selfurl('/groups')},'groups')),
-		$q->li(a({href=>selfurl('/active_jobs')},'active_jobs')),
-		$q->li(a({href=>selfurl('/server')},'server')),
-	);
-}
-
 sub top_menu {
 	return '<table class="menu">' . $q->Tr(
 		$q->td(a({href=>selfurl('/groups')},'groups')),$q->td('&nbsp;'),
@@ -887,7 +879,7 @@ my $path_info=$q->path_info()||'';
 
 $path_info=~s/\/$//;
 if ($path_info eq '') {
-	print header().HEAD().top_menu().top();
+	print header().HEAD().top_menu().groups();
 } elsif ($path_info eq '/server') {
 	print header().HEAD().top_menu().server();
 } elsif ($path_info eq '/groups') {