Firefox Quit

It's important to explicitly quit the browser or else it hangs around
after diffengine has exited, which can start to hog resources after a
while.

diffengine/__init__.py

@@ -3,7 +3,7 @@
 
 # maybe this module should be broken up into multiple files, or maybe not ...
 
-UA = "diffengine/0.2.2 (+https://github.com/docnow/diffengine)"
+UA = "diffengine/0.2.3 (+https://github.com/docnow/diffengine)"
 
 import os
 import re
@@ -504,6 +504,8 @@ def main():
     logging.info("shutting down: new=%s checked=%s skipped=%s elapsed=%s", 
         new, checked, skipped, elapsed)
 
+    browser.quit()
+
 def _dt(d):
     return d.strftime("%Y-%m-%d %H:%M:%S")
 

setup.py

@@ -1,4 +1,4 @@
-version = "0.2.2"
+version = "0.2.3"
 
 import sys
 if sys.version_info < (3,0):