add possibility to reevaluate the deps path

Author: weltling

lib/php/libsdk/SDK/Config.php

@@ -294,9 +294,9 @@ public static function getSdkVersion() : string
 		return file_get_contents($path);
 	}/*}}}*/
 
-	public static function getDepsLocalPath() : ?string
+	public static function getDepsLocalPath(bool $reset = false) : ?string
 	{/*{{{*/
-		if (NULL == self::$depsLocalPath) {
+		if (NULL == self::$depsLocalPath || $reset) {
 			if (file_exists("Makefile")) {
 				$s = file_get_contents("Makefile");
 
@@ -308,13 +308,13 @@ public static function getDepsLocalPath() : ?string
 			}
 		}
 
-		if (NULL == self::$depsLocalPath) {
+		if (NULL == self::$depsLocalPath || $reset) {
 			if (file_exists("../deps")) {
 				self::setDepsLocalPath(realpath("../deps"));
 			}
 		}
 
-		if (NULL == self::$depsLocalPath) {
+		if (NULL == self::$depsLocalPath || $reset) {
 			if (file_exists("main/php_version.h")) {
 				/* Deps dir might not exist. */
 				self::setDepsLocalPath(realpath("..") . DIRECTORY_SEPARATOR . "deps");