Arduino_Tools Contains upload tools for STM32 based boards and some other usefull scripts (ex: genpinmap)
