Fixed (near) duplication of options --dump and --histo-interval these are now synonymous and will produce both /RAW and finalized histograms. Analyses which are not marked Reentrant will not be finalised and will have identical /RAW/ and / histograms.