Spectrum to vector conversion

[bittremieux]

Currently we use feature hashing to convert spectra to vectors. Instead, Gaussian random projections might give a similar performance at lower dimensionalities, which would speed up searching and reduce the size of the ANN index.

See e.g. the implementation in falcon.