ResourcesBot: Automatically upload PDF files into their repository

[holybiber]

The ExportRepository class takes care of exporting (pushing to remote repository) all changes after a ExportHTML run. Implement the same thing for the folders with PDF files generated with ExportPDF