Ignore *.vrb files (latexmk remnant?)
RTiSQ presentation: work on paper 1

* Overview
* 3.1
* 3.2.1
* Bibliographic info for paper 2
* Add mathpartir library for inference rules