Gravar-mail: Sequence analysis of peptide mixtures by automated integration of Edman and mass spectrometric data.