PhyloExplorer: a web server to validate, explore and query phylogenetic trees