Added dump of pox output when pyretic.py is closed