SpaceWire and Notifications

A small update to the Developer Manual where we started a chapter on SpaceWire and added a chapter on the notification mechanism between control servers.

You can access the manual from this web site if you navigate to the Docs part from the top right, or use the following link: developer-manual.