[Gm2] Build and test of 4.7.3 on Mint x86_64

[John Dubery]

Gaius - thanks for your advice.  Success this time.

4.7.3 build on Mint 16 64 bit, using tarball of 18-1-2014.
Test results:
		=== gm2 Summary ===

# of expected passes		8366
# of unexpected failures	450
# of unresolved testcases	114
make: [check-gm2] Error 1 (ignored)

Regards,
John

PS Raspberry Pi build is running now, it's reached "genautomata".  I hope it finishes before my holiday in March!