Better diagnostics for duplicate headers#281

Strepto wants to merge 2 commits intomasterequinor/rvmsharp:masterfrom

nih/feat/scaff-header-diagnosticsequinor/rvmsharp:nih/feat/scaff-header-diagnosticsCopy head branch name to clipboard