arm sdk: upgrade to 4.7-2012-q4

Related to #182.  This also provides install rules for the Mac tar file.

This new toolchain builds all of the targets.

Todo:
* Compare sizes of elf sections
* Run this on HW
* Make sure gdb works with openocd on F1, F3, F4