AnnoTree: visualization and exploration of a functionally annotated microbial tree of life