Fungal names: a comprehensive nomenclatural repository and knowledge base for fungal taxonomy