convert some development notes into markdown

This is about Ozzymandias -- our BFT layer. Hopefully this is enough
information (together with the JavaDoc) to get a developer started.