Add filtering to theme list

[jongio]

grut theme list prints every theme, which makes setup scripts parse more output than needed.
Add a filter flag that matches theme names case-insensitively.

Acceptance criteria:

• grut theme list --filter cat only prints matching names.
• --json returns the filtered list.
• An empty filter preserves the current output.