Updated.

Implemented lhs::a_star_based_enumerator_t.
Renamed lhs::basic_lhs_enumerator into lhs::depth_based_enumerator_t.
Fixed a bug in ilp::costed_converter_t.