Gravar-mail: Informatics of Protein and Posttranslational Modification Detection via Shotgun Proteomics