This takes the first baby steps towards resolving #765. This first test/workflow isn't the most useful thing ever, because it doesn't test the code path for building the manual. Still, it does a decent job at testing the basic git workflow, and the upload functionality. Change-Id: I16dd3a39addd6308ad3eb37c2e3dc3466584a4e3