Document alternative toolchain for the CC2538DK

A few weeks ago I installed https://launchpad.net/gcc-arm-embedded on OS X. It has been working very nicely so far, so I'm documenting this as a valid alternative for the CC2538DK platform.