Updated documentation

In accordance with commit a49df30ddc069e6f22bc36abdb6ab28345bf8b5c on
libcuckcoo.