Use same github links in menu as for other apps.

Author: wolfgangmm

templates/page.html

@@ -105,8 +105,14 @@
                                             <a href="http://exist-db.org/api/index.html">Javadocs</a>
                                         </li>
                                         <li>
-                                            <a href="https://github.com/eXist-db/exist">GitHub Repo</a>
+                                            <a href="https://github.com/eXist-db/exist/issues">Bug Tracker</a>
                                         </li>
+                                        <li>
+                                            <a href="https://github.com/eXist-db/exist">Source code</a>
+                                        </li>
+                                        <li>
+                                            <a href="https://github.com/eXist-db/exist#contributing-to-exist">Submit Patches</a>
+                                        </li>                                    
                                     </ul>
                                 </li>
                                 <li class="dropdown" id="administration">