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.