Revised lhs::a_star_based_enumerator_t to set max-distance.
Deleted the function for temporal axioms.
Added some functions related with time-out.
Commented _enumerate_hypernodes_disregarded out in proof_graph_t::post_process.