libsel4vm: Added libsel4vm markdown docs

This commit introduces a series of markdown files documenting the
libsel4vm interface. These are generated out of the interface
comments, offering an alternative method to navigate and read the
libsel4vm documentation.