cref: fixup
add default section when markup comment parsing is disabled. (so that the default template can work with the result)
log a warning when we cannot find the documentation, log which xml file we actually use.
fixup: C# logging (use Log.logf instead of printfn)
fix a bug where we would use the wrong xml documentation file when multiple .xml files are in the same folder.