connect timeout kprove flag to kore-exec

[dwightguth]

Right now kprove has a --z3-cnstr-timeout and a --z3-impl-timeout flag. We need to delete these flags, replace them with --z3-timeout, and then modify HaskellRewriter.java to pass the --smt-timeout flag to kore-exec when it is invoked by the prover.

[Scott-Guest]

Closed by #3576