TreeRefiner: a tool for refining a multiple alignment on a phylogenetic tree | IEEE Conference Publication | IEEE Xplore