Fix issues about building with vcpkg.

Author: hzhangxyz

ports/ds/portfile.cmake

@@ -1,7 +1,7 @@
 vcpkg_from_github(
     OUT_SOURCE_PATH SOURCE_PATH
     REPO USTC-KnowledgeComputingLab/ds
-    REF main
+    HEAD_REF main
 )
 
 vcpkg_cmake_configure(

ports/ds/vcpkg.json

@@ -4,5 +4,14 @@
     "description": "A deductive system",
     "homepage": "https://github.com/USTC-KnowledgeComputingLab/ds",
     "license": "AGPL-3.0-or-later",
-    "dependencies": []
+    "dependencies": [
+        {
+            "name": "vcpkg-cmake",
+            "host": true
+        },
+        {
+            "name": "vcpkg-cmake-config",
+            "host": true
+        }
+    ]
 }