Add Choreo

[spacey-sooty]

Resolves #422

[sciencewhiz]

ChoreoLib Vendordep should also be downloaded and included like we do with the commands vendordep

[calcmogul]

I assume that's done by adding more stuff to gradleriobase/build.gradle?

[spacey-sooty]

waiting on Choreo release.

[sciencewhiz]

I assume that's done by adding more stuff to gradleriobase/build.gradle?

WPILibInstaller-Avalonia/scripts/maven.gradle

Lines 201 to 206 in 62f0b56

	def downloadNewCommands = tasks.register('downloadNewCommands', Download) {
	src 'https://raw.githubusercontent.com/wpilibsuite/allwpilib/main/wpilibNewCommands/WPILibNewCommands.json'
	def fileName = file(src.file).name
	dest "$buildDir/downloads/$fileName"
	overwrite false
	}

WPILibInstaller-Avalonia/scripts/maven.gradle

Lines 229 to 235 in 62f0b56

	zip.dependsOn downloadNewCommands
	zip.dependsOn downloadReadTheDocs
	zip.dependsOn downloadPythonAPI
	zip.from(downloadNewCommands.get().outputFiles.first()) {
	into '/vendordeps'
	}

[spacey-sooty]

tested this locally it works

[calcmogul]

The Linux installer properly installed the Choreo binaries, vendordep JSON, and maven artifacts on my machine.

[jwbonner]

It looks like the launch scripts aren't copied to the installer archive, so the tools menu still doesn't work. That needs to be added to tools.gradle.