Gravar-mail: Top-down analysis of protein samples by de novo sequencing techniques