Adds all papers in our shared zotero library to the bibliography file.
Those can now be cited via corresponding keys. Also adds pdf from
latest LaTeX run.