Kills processes by name instead of by UID. (Man page by me.) Submitted by: wosch@cs.tu-berlin.de (Wolfram Schneider)