Changes

Summary

1. build component for cvc5-latest (ef2bc3f735df);
2. merged
3. try proof method "order" in Sledgehammer's proof reconstruction
4. added Mirabelle action "order"
5. renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
6. tuned proof
7. added lemma order_reflclp_if_transp_and_asymp
8. added lemmas antisym_on_reflcl_if_asym_on and antisymp_on_reflclp_if_asymp_on
9. HOL-Library: added modulo/congruence for real numbers
10. only print schedule if relevant;
11. remove laziness: no need, and errors during initialization loop with close();
12. more general definition of meromorphicity; Weierstraß factorisation theorem
13. always provide build_database_server option in benchmark command;
14. always check if node is defined, e.g. for exists_next operation wit empty schedule;