Drop our (t)rusty old hash table implementation

It may have been clunky to declare and non-obvious for new-comers but it
served us well for many years. Farewell, and thanks for all the fish.