Added capability of computing product and sum of clade credibilities of trees, and selecting MCT or MCCT trees