CLIP OS Project documentation

This is the source for the content hosted at docs.clip-os.org.

The documentation is built with Sphinx. See the build.sh script to build the documentation in a CLIP OS Toolkit environment.