change wording of general filter panel
Merge pull request #1492 from aodn/issue_1477

Change wording of general filter panel
Time how long search requests take.

This is to help diagnose #1473.
Jenkins version bump
Refactored a bit of the logging stuff in to class specific for doing it.
Passing in scope variable.

Without this, a 'loadexception' event was inadvertantly being fired even on successful search requests.
Wording change to more closely match HTTP vocab.
#1494 Update URL for Catami known server.
Merge pull request #1495 from aodn/catami_known_server_fix

#1494 Update URL for Catami known server.
Refactor based on review comments.
Merge pull request #1493 from aodn/issue_1473

Issue 1473
portal with no db, no filters
refactor layer controller for get filters requests
script to fetch and convert filters to xml

parsing of xml filters from local directory
simplify HostVerifier, also more secure

 * does not allow host because it's in the 'Host' HTTP header
 * faster search via hash map
 * reduce allow hosts to actual hosts