Gravar-mail: AntigenDB: an immunoinformatics database of pathogen antigens