Do a manual garbage collection right before shutdown to hopefully work
around some of the Python3.3 exit-time SEGFAULT wackiness...  It seems to be
fixed in Python3.4 according to the release notes, but there's no harm
in doing a gc.collect() either way...