Rename gdbstub to gdb-server and user args[1] as filename + minor cleanup

Author: MaartenS11

src/main/java/be/ugent/topl/mio/GdbStub.java

@@ -300,14 +300,10 @@ else if (pkt.startsWith("stackInfo")) {
                 case "s":
                     log("Received step command from lldb");
                     debugger.stepInto();
-                    //sendPacket(out, "T05thread:1;pc:" + toHex(getCurrentState().getPc()) + ";");
-                    //sendPacket(out, "S05");
                     sendStopPacket(out, "05");
                     break;
                 case "c":
-                    // Pretend to run, then stop immediately
                     debugger.run();
-                    //sendPacket(out, "S05");
                     break;
                 case "pause":
                     debugger.pause();
@@ -321,7 +317,7 @@ else if (pkt.startsWith("stackInfo")) {
                     break;
                 default:
                     System.out.println("Unknown packet: " + pkt);
-                    sendPacket(out, ""); // unsupported
+                    sendPacket(out, "");
                     break;
             }
         }

src/main/kotlin/be/ugent/topl/mio/Main.kt

@@ -151,9 +151,9 @@ fun main(args: Array<String>) {
                 config.port!!
             )
         }
-        "gdbstub" -> {
-            //val wasmFilename = "main.wasm"
-            val wasmFilename = "tmp/test-dbg.wasm"
+        "debug-server" -> {
+            expectNArguments(args, 2)
+            val wasmFilename = args[1]
             val debugger = Debugger(ProcessConnection(config.wdcliPath, wasmFilename, "--no-socket", "--paused"))
             debugger.pause()
             debugger.setSnapshotPolicy(Debugger.SnapshotPolicy.Checkpointing())