Rewrite much documentation in markdown format.

The following files in the `doc` were rewritten in markdown format:

* DevelopersGuide.odt
* Proposal.odt
* Requirements.odt
* TopLevelDesign.odt
* UsersGuide.odt