Kill all child processes when killing their parents
Kill all child processes when killing their parents

It hopefully fixes #1680, which only occurs under Linux.

James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop,James-Yu/LaTeX-Workshop