libsel4vmmplatsupport: Markdown docs

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