chore: upgrade functional test version to 4.13.0 #158

Job	Run time
auto-config-false	28s
auto-config-false	31s
detect-mathlib	1m 23s
detect-mathlib	1m 23s
auto-config-true	11s
auto-config-true	11s
lake-check-test-failure	13s
lake-check-test-failure	13s
lake-init-failure	8s
lake-init-failure	8s
lake-init-success (standalone)	9s
lake-init-success (standalone)	9s
lake-lint-failure	11s
lake-lint-failure	11s
lake-init-success (mathdep math)	1m 11s
lake-init-success (mathdep math)	1m 11s
lake-lint-success	13s
lake-lint-success	13s
lake-test-failure	14s
lake-test-failure	14s
lake-init-success (tomltest .toml)	9s
lake-init-success (tomltest .toml)	9s
lake-test-success	10s
lake-test-success	10s
macos-runner	15s
macos-runner	15s
subdirectory-lake-package	13s
subdirectory-lake-package	13s
windows-runner	36s
windows-runner	36s
	11m 31s

Provide feedback