Added stop_watch_t, which is a class to measure time.
Revised the enumeration procedure of a_star_based_enumerator_t.