Gravar-mail: CRISPRminer is a knowledge base for exploring CRISPR-Cas systems in microbe and phage interactions