A Tool for Computing Probabilistic Trace Alignments