Gravar-mail: The neXtProt peptide uniqueness checker: a tool for the proteomics community