Implementation of MergeXPlain and Progression
Transfer the implementation of MergeXplain and Progression from Boda Wen's branch to the Master branch. Also transfer the additional test cases from Boda Wen's branch to the Master branch.
Edited by Wolfgang Schmid