Gravar-mail: ProSight PTM: an integrated environment for protein identification and characterization by top-down mass spectrometry