libsel4camkes: Add msgqueue

The msgqueue allows the passing of messages from one component
to another. It is essentially a layer on top of the CAmkES virtqueues,
in which it sends small buffers that is filled with information about an
message to a receiver.