Add support for a new command 'emsdk deactivate' that can be used to remove a tool from the active list.

emsdk.py

diff --git a/emsdk.py b/emsdk.py
index 3ac1ab5..b866604 100644
--- a/emsdk.py
+++ b/emsdk.py
@@ -2835,6 +2835,9 @@
                                   --override-repository emscripten-main@https://github.com/<fork>/emscripten/tree/<refspec>
 
 
+   emsdk deactivate tool/sdk    - Removes the given tool or SDK from the current set of activated tools.
+
+
    emsdk uninstall <tool/sdk>   - Removes the given tool or SDK from disk.''')
 
     if WINDOWS:
@@ -3104,7 +3107,7 @@
   elif cmd == 'update-tags':
     errlog('`update-tags` is not longer needed.  To install the latest tot release just run `install tot`')
     return 0
-  elif cmd == 'activate':
+  elif cmd == 'activate' or cmd =='deactivate':
     if arg_permanent:
       print('Registering active Emscripten environment permanently')
       print('')
@@ -3116,7 +3119,14 @@
         tool = find_sdk(arg)
         if tool is None:
           error_on_missing_tool(arg)
-      tools_to_activate += [tool]
+
+      if cmd == 'activate':
+        tools_to_activate += [tool]
+      elif tool in tools_to_activate:
+        print('Deactivating tool ' + str(tool) + '.')
+        tools_to_activate.remove(tool)
+      else:
+        print('Tool "' + arg + '" was not active, no need to deactivate.')
     if not tools_to_activate:
       errlog('No tools/SDKs specified to activate! Usage:\n   emsdk activate tool/sdk1 [tool/sdk2] [...]')
       return 1