Hashtbl.Make(3o) on Linux

The text 25e656a1dbd5, as Debian 7 (Wheezy) shipped it.

Functor building an implementation of the hashtable structure.

Hashtbl.Make(3o) on Linux now