Point Strata dependency at main

Strata PR #1370 has been merged. Update lakefile.toml rev from
"port/main2-core-to-main" to "main" and update lake-manifest.json.

Author: shigoel

lake-manifest.json

@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "e0748f476ecf24f59ccde7bae7bc012c00aa6b57",
+   "rev": "7b40c42a9f279ef6aaa9000cfd8d728476c953fa",
    "name": "Strata",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "port/main2-core-to-main",
+   "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/plausible.git",
@@ -25,10 +25,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "005b660458cafc60b94cfdb5aa0facccb41b814e",
+   "rev": "fbd9f71d6f03f56d71dc0ea4c40fcca7f4ebb6f8",
    "name": "StrataDDM",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "port/main2-ddm-fixes",
+   "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "StrataPython",

lakefile.toml

@@ -6,7 +6,7 @@ testDriver = "StrataTestMain"
 [[require]]
 name = "Strata"
 git = "https://github.com/strata-org/Strata.git"
-rev = "port/main2-core-to-main"
+rev = "main"
 
 [[input_file]]
 name = "PythonDialectIon"