reverse_lookup_dictionary: redesigned binary file format.
reverse_lookup_dictionary: reduce dictionary size by implementing the key trie with marisa.
string_table: provide NumKeys() and BinarySize().
Stashed changes.