Add gcc4.7-2012-q4_mbed54 to previous list

README now points to branch created to represent the current gcc4mbed
which will soon be replaced by this working branch.