Protein cleaver: an interactive web interface for in silico prediction and systematic annotation of protein digestion-derived peptides | Synapse