Improved ctrl+c and ctrl+d handling in CLI

cli.py

@@ -29,7 +29,14 @@ if len(sys.argv) == 1: # CLI loop
     main = main_class()
     while True:
         print(">>> ", end="", flush=True)
-        commandstr = input()
+        try:
+            commandstr = input()
+        except EOFError:
+            print()
+            sys.exit(0)
+        except KeyboardInterrupt:
+            print()
+            continue
         res = main.get_rstring(main.run_command(commandstr), errorsonly=False)
         if res != None:
             print(res)