Add utilities for setting and dumping log buffer

[xurtis]

This adds simple helpers to allocate and map a log buffer as well as dumping the contents of the logbuffer as a CBOR element to a base64 stream.

Depends on the changes for debug log buffer in seL4/seL4#298

[axel-h]

I will take over this then also