Makefile: break useless common dependency via checksums; fixed ravenscar build acall
Remove local copy of the STM32 Discovery library

   Build the ravenscar lib using a downloaded archive; backported the relevant changes
Ravenscar: build the profile in a temp dir; moves the results only in case of success