Replace the md5 hash function used in the "hashed" index type with a faster one, such as xxhash.

Xxhash is probably 10 times faster than md5. We don't need a cryptographic hash function, just one that has a very good dispersion.