improve process killing
  * kill_pid() makes multiple attempts, with signal escalation
  * use correct signals to kill postgres (SIGKILL as last resort only)