[gnome-tweak-tool] Handle SIGINT

[Jeremy Bicha <jbicha src gnome org>]

commit 1066e878ef606365f4422adf6ad9235ee935926b
Author: Alex Muñoz <amunoz src gnome org>
Date:   Sun Dec 15 01:17:42 2013 -0300

    Handle SIGINT
    
    https://bugzilla.gnome.org/show_bug.cgi?id=697344

 gnome-tweak-tool |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/gnome-tweak-tool b/gnome-tweak-tool
index 7c03bbf..8e01939 100755
--- a/gnome-tweak-tool
+++ b/gnome-tweak-tool
@@ -18,6 +18,7 @@ import optparse
 import logging
 import locale
 import gettext
+import signal
 import sys
 
 import gi
@@ -81,5 +82,6 @@ if __name__ == '__main__':
 
     from gtweak.app import GnomeTweakTool
     app = GnomeTweakTool()
+    signal.signal(signal.SIGINT, signal.SIG_DFL)
     exit_status = app.run(None)
     sys.exit(exit_status)