Sync summer work

Hmmm, I forgot all about this and nearly deleted it!  Get this into
the repository quick. (Only patch 472 now)
Update core files from gcc 4.7.3
Sync remaining with gcc 4.7.3
New patchset script for gcc 4.7.3
Merge branch 'develop'