make other repositories list list all autostarted repos

And add a form to add another, unrelated repository

templates/configurators/newrepository.hamlet

@@ -0,0 +1,15 @@
+<div .span9 .hero-unit>
+  <h2>
+    Add another repository
+  <p>
+    The form below will make a separate repository, that is not synced #
+    with your existing repository. You can use the new repository for #
+    different sorts of files, that are synced and shared with other #
+    devices and users.
+  <p>
+    <form .form-inline enctype=#{enctype}>
+      ^{form}
+  <p>
+    <i .icon-asterisk></i> #
+    Do you want to add another repository that is kept in sync with #
+    the current one? If so, <a href="@{RepositoriesR}">go here</a>.

templates/configurators/newrepository/first.hamlet

@@ -10,5 +10,5 @@
     Files in this repository will managed by git-annex, #
     and kept in sync with your repositories on other devices.
   <p>
-  <form .form-inline enctype=#{enctype}>
-    ^{form}
+    <form .form-inline enctype=#{enctype}>
+      ^{form}

templates/otherrepos.hamlet

@@ -0,0 +1,10 @@
+<ul .dropdown-menu>
+  $forall (name, path) <- repolist
+    <li>
+      <a href="@{SwitchToRepositoryR path}">
+        #{name}
+  $if not (null repolist)
+    <li .divider></li>
+  <li>
+    <a href="@{NewRepositoryR}">
+      Add another repository

templates/page.hamlet

@@ -6,7 +6,8 @@
       <ul .nav>
         $forall (name, route, isactive) <- navbar
           <li :isactive:.active>
-            <a href="@{route}">#{name}</a>
+            <a href="@{route}">
+              #{name}
       $maybe reldir <- relDir webapp
         <ul .nav .pull-right>
           <li>
@@ -15,8 +16,7 @@
             <a .dropdown-toggle data-toggle="dropdown" href="#menu1">
               Current Repository: #{reldir}
               <b .caret></b>
-            <ul .dropdown-menu>
-               <li><a href="@{RepositoriesR}">Add another repository</a></li>
+            ^{otherReposWidget}
       $nothing
 <div .container-fluid>
   <div .row-fluid>