Fixed bugs in lhs::a_star_based_enumerator_t.
Revised the format of debugging print.
Updated the version to "phil.2.20".

Revised the definition of string_hash_t.