Correct sync with mainline

Author: aman-goel

Src/PCompiler/CompilerCore/Backend/PExplicit/CompilationContext.cs

@@ -1,7 +1,6 @@
 using System;
 using System.Collections.Generic;
 using System.IO;
-using Plang.Compiler.Backend.PExplicit;
 using Plang.Compiler.TypeChecker.AST;
 using Plang.Compiler.TypeChecker.AST.Declarations;
 using Plang.Compiler.TypeChecker.AST.States;

Src/PCompiler/CompilerCore/CompilerCore.csproj

@@ -25,7 +25,4 @@
       <CustomToolNamespace>Plang.Compiler</CustomToolNamespace>
     </Antlr4>
   </ItemGroup>
-  <ItemGroup>
-    <Folder Include="Backend\PCover" />
-  </ItemGroup>
 </Project>

Src/PCompiler/PCommandLine/Options/PCheckerOptions.cs

@@ -78,7 +78,6 @@ internal PCheckerOptions()
             advancedGroup.AddArgument("jvm-args", null, "Specify a concatenated list of JVM arguments to pass, each starting with a colon").IsHidden = true;
             advancedGroup.AddArgument("checker-args", null, "Specify a concatenated list of additional checker arguments to pass, each starting with a colon").IsHidden = true;
             advancedGroup.AddArgument("psym-args", null, "Specify a concatenated list of additional PSym-specific arguments to pass, each starting with a colon").IsHidden = true;
-            advancedGroup.AddArgument("jvm-args", null, "Specify a concatenated list of PSym-specific JVM arguments to pass, each starting with a colon").IsHidden = true;
 
         }