Add seL4RPCNoThreads connector

This connector supports handling an interface bound to a set of badge
values on an seL4 Endpoint object. It is possible for several connectors
to share the same underlying endpoint so that single threaded components
can support multiple interfaces.