sel4camkes: Added dataport_caps header

Added an interface for accessing dataport caps that is used by the
seL4SharedDataWithCaps template. This originally existed in the
camkes-vm project but has been moved into libsel4camkes to make
it more available to other camkes applications.