Gravar-mail: ProSight PTM 2.0: improved protein identification and characterization for top down mass spectrometry