new port-search wildcarding - bad idea?

* for an exact match use "quoting", a bit like what Google does
to enforce a search term

* otherwise terms are assumed to be wildcard bounded and case insensitive

* without quotes, * and ? characters are supported for multi and single
character wildcards.

we could revert this commit if we don't like it.

Netdisco/share/views/js/device.js

@@ -68,7 +68,7 @@
 
       var port = $(this).text();
       port = $.trim(port);
-      portfilter.val(port);
+      portfilter.val('"'+ port +'"');
 
       $('.nd_field-clear-icon').show();
       $('#ports_form').trigger('submit');