A simple and fast jQuery plugin for creating a filter for an HTML list