postmarketos-ui-matchbox: drop

Matchbox is unmaintained both on our side and upstream. We should drop it before it introduces security issues and compilation problems. See #372 (closed) for more details.

This will be merged if no one steps up to maintain Matchbox within a week.