added a simple helper reset() that allows to entirely reset the gef…

… session using `pi reset()`

gef.py

@@ -185,6 +185,22 @@ def reset_all_caches():
     gef.reset_caches()
     return
 
+def reset():
+    global gef
+
+    arch = None
+    if gef:
+        reset_all_caches()
+        arch = gef.arch
+        del gef
+
+    gef = None
+    gef = Gef()
+    gef.setup()
+
+    if arch:
+        gef.arch = arch
+    return
 
 def highlight_text(text):
     """
@@ -11548,8 +11564,7 @@ def reset_caches(self):
                 pass
 
         # load GEF
-        gef = Gef()
-        gef.setup()
+        reset()
 
         # gdb events configuration
         gef_on_continue_hook(continue_handler)