Show board name on generic "Error compiling" message

[PaulStoffregen]

As discussed on the developers mail list, this change adds the board name to the generic "Error compiling" message.

https://groups.google.com/a/arduino.cc/d/msg/developers/rs72zE8DuN0/B7elCSB-EQAJ

This generic error only appears when the IDE is unable to highlight a specific line in the editor.

[ArduinoBot]

✅ Build completed.

Please test this code using one of the following:

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

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

[cmaglie]

Thanks!
I pushed the change in a slightly different way to allow easier translation: 8d995d7

[lmihalkovic]

Counting the amount of time spent by all those who contributed their 2¢, that must be one of the most expensive one-liner I have seen in a while.
Cheers