Moving to -std=gnu11 (another case for requiring GCC >= 4.7)

[Joseph Myers]

Any preferences on hardcoded -std=gnu1x versus a configure test to use 
-std=gnu11 instead when available, given the prior objections to requiring 
4.7?

-- 
Joseph S. Myers
joseph@codesourcery.com