SearchTree: Mining robust phylogenetic trees