Removed unused JavaScript file docs.min.js

This file is used by Bootstrap documentation website
(http://getbootstrap.com/) but is not part of the Bootstrap distribution
and has not be included in a Bootstrap based application.

htroot/env/templates/metas.template

@@ -42,7 +42,6 @@ for the JavaScript code in this page.
 
   <script src="/env/bootstrap/js/jquery.min.js"></script>
   <script src="/env/bootstrap/js/bootstrap.min.js"></script>
-  <script src="/env/bootstrap/js/docs.min.js"></script>
   <script src="/env/bootstrap/js/bootstrap-switch.min.js"></script>
   
   <!-- Custom styles for this template, i.e. navigation (move this to base.css) -->

htroot/jslicense.html

@@ -28,11 +28,6 @@
 			<td><a href="http://www.apache.org/licenses/LICENSE-2.0">Apache-2.0</a></td>
 			<td><a href="/env/bootstrap/js/bootstrap-switch.js">bootstrap-switch.js</a> (3.0.0)</td>
 		</tr>
-		<tr>
-			<td><a href="/env/bootstrap/js/docs.min.js">docs.min.js</a></td>
-			<td><a href="http://www.jclark.com/xml/copying.txt">Expat</a></td>
-			<td><a href="https://raw.githubusercontent.com/imsky/holder/v2.3.1/holder.js">holder.js</a> (2.3.1)</td>
-		</tr>
 		<tr>
 			<td><a href="/env/bootstrap/js/html5shiv.js">html5shiv.js</a></td>
 			<td><a href="http://www.jclark.com/xml/copying.txt">Expat</a></td>

htroot/test.html

@@ -11,7 +11,6 @@
 
     <script src="/env/bootstrap/js/jquery.min.js"></script>
     <script src="/env/bootstrap/js/bootstrap.min.js"></script>
-    <script src="/env/bootstrap/js/docs.min.js"></script>
     
     <!-- Bootstrap core CSS -->
     <link href="env/bootstrap/css/bootstrap.min.css" rel="stylesheet">

source/net/yacy/cora/federate/solr/responsewriter/HTMLResponseWriter.java

@@ -125,7 +125,6 @@ public class HTMLResponseWriter implements QueryResponseWriter {
         writer.write("<link href=\"/env/bootstrap/css/bootstrap-switch.min.css\" rel=\"stylesheet\">\n");
         //writer.write("<script src=\"/env/bootstrap/js/jquery.min.js\"></script>\n");
         //writer.write("<script src=\"/env/bootstrap/js/bootstrap.min.js\"></script>\n");
-        //writer.write("<script src=\"/env/bootstrap/js/docs.min.js\"></script>\n");
         //writer.write("<script src=\"/env/bootstrap/js/bootstrap-switch.min.js\"></script>\n");
         writer.write("<!-- Custom styles for this template, i.e. navigation (move this to base.css) -->\n");
         writer.write("<link href=\"/env/bootstrap-base.css\" rel=\"stylesheet\">\n");