acknowledgements: project funding
gitignore
acknowledgements
Introduction: SMT in a nutshell

  TODO: a slide or two about Hiero (right before the Syntax-based Translation stuff)