[WORKAROUND] chipKIT core will not install in Arduino IDE 2.x

[JacobChrist]

This year I switched my class to Pico Pi but I'm still using chipKIT and Arduino board for some early labs. I have also switched to Arduino IDE 2.x. Some students have experienced issues of the chipKIT core not installing in Arduino IDE and instead getting an error about not being able to find the root directory.

A workaround we have found is that if we install chipKIT-core using Arduino IDE 1.8.x then restarting the 2.x IDE that chipKIT core will work.