Gravar-mail: BioContainers Registry: searching bioinformatics and proteomics tools, packages, and containers