Gravar-mail: TaxMan: a server to trim rRNA reference databases and inspect taxonomic coverage