Update jQuery highlight plugin

The plugin is better without the jQuery dependency.  But note that it doesn't operate as expected in modern browsers; readonly input fields do not get selected using the `.highlight()` method.