A tiny jQuery plugin to add filtering to your HTML tables