Handle timeout if process has already been killed
Fix test launch_tor_with_timeout
Merged older timeout fix