Gravar-mail: PatternLab for proteomics: a tool for differential shotgun proteomics