Resolve "Allow multiple output formats"
For generating other output formats such as DevDocs-ready HTML, we add an output format option (-f). The default output format is "mallard" which leaves the existing behaviour unchanged.
We can fold the existing --write-sections-file option into the new output format option, as a new "sections" format.
Closes #134 (closed).