Fix the handling of remodeling.
Preserve ship filtering after reloaded.
Also shows the number of filtered (shown) ships.