Kill the warmupthread on quit.

This is fully based on the code of http://stackoverflow.com/questions/323972/is-there-any-way-to-kill-a-thread-in-python.

It works for me, going from a 5s shutdown to an instant one for example/boost.cpp.

It should fix #216.