add TokyoTyrant in the manual