Add New Glossary Page And Developer Search Feature

This commit adds the code necessary to generate a new
en/developre-glossary page with entry pages in the en/glossary/
directory, e.g. en/glossary/51-percent-attack.

The glossary page and the individual term pages feature a JavaScript
search engine (no CGI) for just glossary terms.  This search box has
also been added to the following pages:

    * Developer Documentation (the index page)
    * Developer Guide
    * Developer Reference
    * Developer Examples

The search box requires the following MIT-licensed libraries:

    * JQuery
    * JQuery UI
    * JQuery UI CSS stylesheet

These allow our JS code to be almost trivially simple in js/devsearch.js

This commit adds only code.  Actual glossary entry data will be added in
a subsequent commit.

_less/screen.less

@@ -666,7 +666,7 @@ table td,table th{
 	display:inline-block;
 	margin:0 0 40px 0;
 	font-size:125%;
-	width:210px;
+	width:150px;
 }
 .docreference img{
 	display:block;
@@ -807,8 +807,6 @@ table td,table th{
 }
 .toccontent .subhead-links{
 	visibility: hidden;
-	font-size: 85%;
-	height: 18px;
 	padding-top: 7px;
 }
 .toccontent:hover .subhead-links{
@@ -909,6 +907,37 @@ table td,table th{
 	border:2px solid #ee9209;
 	color:#fff;
 }
+#glossary_term {
+	display: block;
+	width: 20em;
+	margin-right: auto;
+	margin-left: auto;
+}
+.ui-autocomplete-category {
+	font-weight: bold;
+	padding: .2em .4em;
+	margin: .8em 0 .2em;
+	line-height: 1.5;
+}
+ul.wrapped_list li {
+	list-style: none;
+	float: left;
+	width: 15em;
+	margin: 1em;
+}
+br.clear {
+	clear: left;
+}
+.notice {
+    text-align: center;
+}
+.notice span {
+    font-style: italic;
+}
+.subhead-links {
+	font-size: 85%;
+	height: 18px;
+}
 
 .highlight  { background: #ffffff; }
 .highlight .c { color: #999988; font-style: italic } /* Comment */