show progress bar when running provers (issue #4)