Adds version information and better shutdown logging

* Master prints version and SHA1 repository hash on startup.
  This currently relies on the Makefile defining REV_SHA based on the
  output of 'git rev-parse'

* Master logs the number of currently dispatched runners after each
  runner is shut down.

* Master reports when it is finished.