Developer manual

Here we can put other markdown files providing a developer manual.

This may also be a place to put miscellaneous notes or we may want to put them elsewhere.