Add an option to run Agda setup if compiled with Agda v2.8.0 or later #89

Job	Run time
Build and Test (windows-latest, Agda-2.6.4.3)	40m 36s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	37m 43s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	1m 13s
Build and Test (windows-latest, Agda-2.8.0)	46m 46s
Build and Test (macos-latest, Agda-2.8.0)	23m 37s
Build and Test (ubuntu-latest, Agda-2.8.0)	19m 15s
Build and Test (windows-latest, Agda-2.7.0.1)	39m 2s
Build and Test (macos-latest, Agda-2.6.4.3)	1m 57s
Build and Test (macos-13, Agda-2.6.4.3)	1h 17m 8s
Build and Test (macos-13, Agda-2.8.0)	43m 54s
Build and Test (macos-13, Agda-2.7.0.1)	44m 47s
Build and Test (macos-latest, Agda-2.7.0.1)	2m 20s
Build WASM	0s
Create Release	0s
Upload to Dev Release	0s
Upload to Stable Release	0s
	6h 18m 18s

Provide feedback