Fix issue #10: allow order of ports in compatible selectors validated by Interface.is_compatible() to differ.