Added libDAI for junction tree algorithm.