Adds filter by machine name to interface terminals

First iteration for #129, it supports only filtering by the machine/interface name.

Filtering by the pattern itself should be possible, but would involve parsing every tooltip for every pattern.
This could be a bit heavy on the computational side and would also filter by ingredients, product or whatever else the tooltip contains.
@yueh You can! `git commit --amend -m 'new message'`, then `git push --force`.