Support Docker VM manager and provider (#75)

* Add docker provider framework

* Update VM download link

* Add stop container

* Update docker manager & provider

* Update

* Update

* Update provider

desktop_env/evaluators/getters/general.py

@@ -7,7 +7,7 @@ logger = logging.getLogger("desktopenv.getters.general")
 
 def get_vm_command_line(env, config: Dict[str, str]):
     vm_ip = env.vm_ip
-    port = 5000
+    port = env.server_port
     command = config["command"]
     shell = config.get("shell", False)
 
@@ -23,7 +23,7 @@ def get_vm_command_line(env, config: Dict[str, str]):
 
 def get_vm_command_error(env, config: Dict[str, str]):
     vm_ip = env.vm_ip
-    port = 5000
+    port = env.server_port
     command = config["command"]
     shell = config.get("shell", False)