split time measurement for --prove in two: preprocessing and actual prov...

...ing