Add the start of tor after a successful install:
  * run as user 'tor'
  * only if PID file does not exist
  * require successful installation and presence of config dans datadir.

Note: if another tor binary is somewhere, the wrong one might be executed. Must be addressed.