Update examples/acats for ACATS 3.1
Merge commit 'c132cd4' into gcc-4.7

I did NOT try ACATS with gcc-4.7 on this merge!

Conflicts:
	examples/acats/drake-expected.txt (reverted)
	examples/acats/gnat-expected.txt (reverted)
Retry ACATS with gcc-4.7