[ new ] Command line option for printing version info #37

Job	Run time
build-and-test (windows-latest, Agda-2.7.0.1)	41m 3s
build-and-test (windows-latest, Agda-2.6.4.3)	40m 35s
build-and-test (windows-latest, Agda-2.6.3)	42m 2s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	35m 40s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	34m 10s
build-and-test (ubuntu-latest, Agda-2.6.3)	33m 23s
build-and-test (macos-latest, Agda-2.7.0.1)	3m 26s
build-and-test (macos-latest, Agda-2.6.4.3)	3m 2s
build-and-test (macos-latest, Agda-2.6.3)	2m 45s
build-and-test (macos-13, Agda-2.7.0.1)	4m 4s
build-and-test (macos-13, Agda-2.6.4.3)	1h 0m 56s
build-and-test (macos-13, Agda-2.6.3)	1h 11m 0s
	6h 12m 6s

Provide feedback