feat(examples): add `r/leon` #7207

Job	Run time
Run Main (autocounterd) / Go Build / generated	10s
Run Main (autocounterd) / Go Linter / lint	25s
Run Main (autocounterd) / Go Test / test	32s
Run Main (docker-integration) / Go Build / generated	11s
Run Main (docker-integration) / Go Linter / lint	5s
Run Main (docker-integration) / Go Test / test	19s
Run Main (genproto) / Go Build / generated	5s
Run Main (genproto) / Go Linter / lint	30s
Run Main (genproto) / Go Test / test	43s
Run Main (genstd) / Go Build / generated	7s
Run Main (genstd) / Go Linter / lint	22s
Run Main (genstd) / Go Test / test	23s
Run Main (goscan) / Go Build / generated	7s
Run Main (goscan) / Go Linter / lint	20s
Run Main (goscan) / Go Test / test	15s
Run Main (logos) / Go Build / generated	9s
Run Main (logos) / Go Linter / lint	18s
Run Main (logos) / Go Test / test	48s
Run Main (loop) / Go Linter / lint	34s
Run Main (loop) / Go Build / generated	10s
Run Main (loop) / Go Test / test	40s
	7m 13s

Provide feedback