* Add Operating System developer documentation
This moves some of the existing documentation from the operating-system
repository, updates it to reflect the current state and extens certain
parts.
* Reword and add deployment documentation
* Add new pages to Sidebar
* Reword and extend various aspects
* Small fixes here and there
* Clarify builds