Tentative fix of the guardedness checker by Christine and me. All stdlib and test-suite pass.
Merge branch 'trunk' of github.com:coq/coq into trunk