fix provers detection in presence of paths that need escaping

(Same as !1036 (closed) but from a local branch.)

Paths with spaces in particular will currently make prover autodetection fail: query_prover_version fails to properly quote file paths when constructing the shell command. This patch thus uses Filename.quote to quote file paths.