python: Try to shut ashd-wsgi down more nicely upon signal receipt.