Funnelback patch 15.24.0.17

Fixes an issue where Faceted Navigation extra searches may fail because of an index out of bounds error.

Improves logging when extra searches take too long.

web/webapps/funnelback-publicui.war

Stop the Jetty web server.

Deploy the provided files on top of an existing install, backing up all replaced files.

Start the Jetty web server.

(15.24.0.12, 15.24.0.13) Perform an update of knowledge graph on any applicable collections in order to apply patch changes.