Build the toolchain with a Makefile; fix gcc/gdb info build
Changed the main build script to use Make

   * GDB now bumped to 7.8, as it is less sensitive to Texinfo
   * Fixed (ignored?) doc build issue with GCC
   * Now allows for a build in many sittings
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
Updated README, removed the now useless install.sh and ranvescar.sh
Merge pull request #1 from jibee/JBM_Build_improvements

JBM build improvements