fix provers detection in presence of paths that need escaping

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.