added filtering to doubles table

After testing in Chrome (Windows, Android) and Edge (Windows), I completed the revamp of my double stars life list page. Actually, I broke it into two parts. The original page has been turned into a simple, short introduction, with the existing Catalog (discoverer) reference.

I made a new page without the menu and transferred the table of double and multiple stars life list elements here. This new page, in jello format, allows for a wider table and more columns.

I also deployed some new Javascript and CSS assets to permit filtering. With over 1050 entries, the table was getting increasingly awkward to use. I really wanted to be able to make short lists. This new table works very well now. For example, one can filter on a constellation and reduce the list to say a half-dozen or so entries.