Added a KILL command, and implemented a mechanism to let the process manager know when a process terminates.