Organized the documentation directory. Updated the Makefile so that it now also builds the kernel development companion document.