Add an experimental formula for the ARM-built gcc-4.7.  We saw problems with earlier 4.7 releases, but this one doesn't seem to be having the same major issues, so it's worth experimenting with.