Tor Browser is not properly shutting down tor

We got a bug report on our blog from a user that can reproduce tor being not shut down during browser shutdown. That leads to a failed Tor Browser start until the old tor process got killed. See: https://blog.torproject.org/comment/278400#comment-278400.