Gravar-mail: Speeding up tandem mass spectral identification using indexes