Keyboard Interrupts with python's multiprocessing Pool (http://pastebin.com/5giYaMAx)