Bash shell script to kill processes by name, not pid. Which can be helpful since a given set of processes may all have the same name but different pid of course.