Add interface file for total

[tsani]

total.ml does not have an interface file despite defining tons of functions that are used only internally. In principle, these should not be exported, so one should add an interface file. At least this provides some guidance about what is an internal function vs an exported function when working with total.ml.