Search box

Integrates the search box into the jangulary. The following job properties are now searchable: displayed platform name, job.platform_option, job.job_group_name,  job.job_group_symbol, job.job_type_name, job.machine_name, and job.job_type_symbol.