Add filtering

[vidartf]

Add a text input in toolbar to filter on message type / id.

[bollwyvl]

Recently (on the linked issue), some exploration would have benefited from being able to look at very specific comm messages among many hundreds. I wonder if some query language like jmespath, jq would be useful, perhaps as additional extensions.