dot-normalize_prob function

Normalize a set of probability to one, using the the log-sum-exp trick