Stlink update

Updated the stlink target code to the newest version of libopencm3, changed the led pin setting for the f3 and f4 boards. Still needs to be fixed in a way so that it will work on f1 discovery boards too. See comment in platform.h