Program translation!

In this beta release, we've fixed a few bugs and and added the ability to translate a program into other supported languages. The translation feature uses any translations encoded in the program when available, and when not available, asks Google Translate for a best guess.