Use different HEX filename for each board type in Arduino
Use different HEX filename for each board type in Arduino

Right now, each sketch gets associated to one or multiple boards,
and that stays even after chaning the board type in Arduino.

This change hacks platform.txt a little bit to make a different
HEX file for each board type. So each (sketch, type) combination
gets its own association.

Koromix/tytools,Koromix/ty,Koromix/tytools,Koromix/ty,Koromix/tytools,Koromix/ty