Charlie Jacobsen authored Aug 28, 2015 and Vikram Narayanan committed Oct 25, 2016

Kind of boring, but important. Now poised for doing some non-isolated
glue code.

Kind of bummer we have essentially three copies of the cspace-related
code - one in liblcd (isolated data store), one in kliblcd, and one in
the microkernel (real cspaces). Hopefully we can coalesce and reduce
the redundancy at some point.

The data store code for kliblcd is in virt/lcd-domains/kliblcd/dstore.c.
The interface is in include/lcd-domains/kliblcd.h.

Moved dstore into kliblcd. No build yet.

Small typo in cap doc.

Debug something else.

Updated dstore to do get/put.

Fixes build. liblcd tests pass.