SAT is not under active development any more.

Added note to README. Consider using gcc-arm-embedded on launchpad instead.