Process control: kill, ps, etc.

[certik]

I sometimes use kill and ps to kill something that is stuck.

This would likely go to #141.