Update coq to rev 3 via SR 789593
    
    https://build.opensuse.org/request/show/789593
    by user aaronpuchert + dimstar_suse
    - The num library is required for OCaml 4.06 or later.
    - Add ocaml-410-build.patch: fix build with OCaml 4.10.