Improved translation tooling

* Can now specify the documentation translation version, this allows
  translating older versions of the documentation that don't include the
  tooling.
* Can now generate a translation report, which aids in translations.
Merge pull request #3223 from jroper/translation-updates

Improved translation tooling