virtqueues: Support configuration virtqueue size

Virtqueues now get initialized with a queue size

seL4MessageQueue: Import new SharedDataport file

The old files within camkes-tool were merged into the new file.

global-connectors: Add seL4MessageQueue connector

This connector allows the sending of messages from a sender to a
receiver.