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

Job	Run time
build-and-test (windows-latest, Agda-2.7.0.1)	41m 46s
build-and-test (windows-latest, Agda-2.6.4.3)	39m 41s
build-and-test (windows-latest, Agda-2.6.3)	41m 4s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	33m 33s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	32m 20s
build-and-test (ubuntu-latest, Agda-2.6.3)	34m 11s
build-and-test (macos-latest, Agda-2.7.0.1)	13m 24s
build-and-test (macos-latest, Agda-2.6.4.3)	38m 58s
build-and-test (macos-latest, Agda-2.6.3)	32m 37s
build-and-test (macos-13, Agda-2.7.0.1)	56m 54s
build-and-test (macos-13, Agda-2.6.4.3)	59m 11s
build-and-test (macos-13, Agda-2.6.3)	1h 2m 40s
	8h 6m 19s

Provide feedback