ATV: display and manipulation of annotated phylogenetic trees | Synapse