CMOrderedTreeMiner: replaced magic constant 1000 with CMR_MAX_TREE_NODES macro
Checks if added tree is too big
added DestinTreeManager::printMinedTreeStructure to print a found tree
in a tree-like structure.
tree_mining_experiment.py: minor tweaks.
Set the maximum tree size higher for the subtree mining algo.