Extract development procedures into DEVELOPMENT.howto.

Tighten the language and reorder some sections.