Don't start the fstar process unless user starts interactive verification

[msprotz]

On suboptimal OSes (e.g. Windows), this prevents "make -C src/ocaml-output" from copying the fresh fstar.exe into the bin/ directory.