Feature: kill a background process

[mattjbray]

A common pattern in bash is to start a long-running process in the background, do something, then kill it:

foo &
FOO_PID=$!
# do other stuff
kill $FOO_PID

It'd be nice to have an API for this. (Currently there is no way to get the PID of a background_process.)