Make filter in Settings Manager less awkward looking

As described in #226 (closed) the filterbox looks a little awkward when crammed into the headerbar (especially on smaller resolutions).

To follow common paradigms without breaking usability the filterbox is moved to a separate bar and the visibility state is tracked and restored, so users who always use the filter can easily keep it visible and those who don't need it can hide it.