Moving a sketch to another folder should move all files

[facchinm]

Fixes #6402

[ArduinoBot]

✅ Build completed.

Please test this code using one of the following:

⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-697-linux32.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-697-linux64.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-697-windows.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-697-macosx.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-697-linuxarm.tar.xz

ℹ️ The linuxarm build is still experimental and may not be always available.

[per1234]

I just wanted to comment that, even if this PR doesn't fix #6402, it is a useful improvement. The previous behavior of only moving the primary sketch file regularly caused problems for people who downloaded a multi-file sketch from GitHub when that sketch is in the root of the repository. GitHub appends the branch name to the sketch folder, which forces the move, and breaks the sketch.

Example of the previous behavior causing problems: Espressobar/arduino-grind-timer#2

[ArduinoBot]

✅ Build completed.

Please test this code using one of the following:

⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-718-linux32.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-718-linux64.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-718-windows.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-718-macosx.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-6404-BUILD-718-linuxarm.tar.xz

ℹ️ The linuxarm build is still experimental and may not be always available.

[cmaglie]

We are searching a better solution for this problem, for now the commit has been reverted.
Follow ups on #7909