Issue Tracker Search Widget Ajax

The issue search widget now uses ajax, so the page isn't refreshed when
the form is submitted.