Sync to ShareLaTeX. Report in progress
Add PDFs to version control, now that we're on Github