Update WindController example and upgrade to Agda Stdlib 2.0 (#755) #1535

Job	Run time
test-integration-ormolu	18s
test-integration-bumpver	9s
build-vehicle-python / vehicle-python / Linux - x86_64	21m 46s
build-vehicle / vehicle / Linux - GHC 9.4.4	11m 2s
build-vehicle-python / vehicle-python / Linux - x86_64	19m 5s
build-vehicle / vehicle / macOS - GHC 9.4.4	21m 10s
build-vehicle-python / vehicle-python / macOS - x86_64	33m 33s
build-vehicle / vehicle / Windows - GHC 9.4.4	13m 58s
build-vehicle / vehicle / Linux - GHC 9.6.1	11m 6s
build-vehicle-python / vehicle-python / Windows - AMD64	29m 24s
build-vehicle / vehicle / Linux - GHC 9.2.7	11m 31s
build-vehicle / vehicle / Linux - GHC 9.0.2	12m 58s
build-vehicle / vehicle / Linux - GHC 8.10.7	12m 4s
build-vehicle / vehicle / Linux - GHC 9.4.4 -fnothunks	11m 28s
Publish package to PyPI	0s
Publish package to GitHub Releases	0s
	3h 29m 32s

Provide feedback