feat: replaced infra::Optional with std::optional

[daantimmer]

No description provided.

[github-actions]

Thanks for your first PR. We really appreciate it!

[github-actions]

🦙 MegaLinter status: ⚠️ WARNING

Descriptor	Linter	Files	Fixed	Errors	Elapsed time
✅ ACTION	actionlint	5		0	0.04s
✅ CPP	clang-format	162	0	0	1.3s
✅ DOCKERFILE	hadolint	1		0	0.12s
✅ JSON	eslint-plugin-jsonc	8	0	0	3.19s
✅ JSON	jsonlint	8		0	0.24s
✅ JSON	prettier	8	1	0	0.52s
✅ MARKDOWN	markdownlint	4	0	0	0.9s
⚠️ MARKDOWN	markdown-link-check	4		3	6.27s
✅ MARKDOWN	markdown-table-formatter	4	0	0	0.37s
✅ REPOSITORY	checkov	yes		no	15.58s
✅ REPOSITORY	git_diff	yes		no	0.03s
✅ REPOSITORY	grype	yes		no	14.27s
✅ REPOSITORY	secretlint	yes		no	1.79s
✅ REPOSITORY	trivy	yes		no	10.12s
✅ REPOSITORY	trivy-sbom	yes		no	8.12s
✅ REPOSITORY	trufflehog	yes		no	5.65s
⚠️ SPELL	lychee	33		3	0.93s
✅ YAML	prettier	7	0	0	0.79s
✅ YAML	v8r	7		0	4.69s
✅ YAML	yamllint	7		0	0.34s

See detailed report in MegaLinter reports

MegaLinter is graciously provided by