GF Shell: turn set_encoding into a common command

Implemented in GF.Command.CommonCommands instead of GF.Interactive &
GF.Interactive2.

src/compiler/GF/Interactive2.hs

@@ -39,7 +39,6 @@ import qualified GF.System.Signal as IO(runInterruptibly)
 import GF.Server(server)
 #endif
 -}
-import GF.System.Console(changeConsoleEncoding)
 
 import GF.Command.Messages(welcome)
 
@@ -131,7 +130,6 @@ execute1 opts gfenv0 s0 =
     "dt":ws  -> define_tree ws
     "ph":_   -> print_history
     "r" :_   -> reload_last
-    "se":ws  -> set_encoding ws
  -- ordinary commands, working on CommandEnv
     _        -> do interpretCommandLine env s0
                    continue gfenv
@@ -214,12 +212,6 @@ execute1 opts gfenv0 s0 =
           putStrLn $ "no import in history"  
           continue gfenv
 
-    set_encoding [c] =
-      do let cod = renameEncoding c
-         restricted $ changeConsoleEncoding cod
-         continue gfenv
-    set_encoding _ = putStrLn "se command not parsed" >> continue gfenv
-
 
 printException e = maybe (print e) (putStrLn . ioErrorText) (fromException e)