A Javascript library making HTML tables filterable and a bit more