lib/hash.h: add hash_uint64()