smtgcc translation validation

[Krister Walfridsson via Gcc]

I have now released the new implementation for translation validation I 
talked about at the GNU Tools Cauldron last week:
  https://github.com/kristerw/smtgcc
   /Krister