Replace id table by hash table.

This should make uid lookups much faster. We use a power of two for
the hash table size and open addressing with double hashing to handle
hash collisions.