A formula for distribution trace characters on nilpotent Lie groups