Gravar-mail: Improving gene annotation using peptide mass spectrometry