ci: Improve the script to kill processes a bit

Signed-off-by: Sebastian Schuberth <sschuberth@gmail.com>