Link to CAV 2013 tutorial paper is broken

[yaitskov]

Page with the link
https://vprover.github.io/usage.html

The Dangling Link
https://publik.tuwien.ac.at/files/PubDat_225994.pdf

[MichaelRawson]

Thanks! We intend an overhaul of the webpage in the near future, it will be fixed then. In the meantime:

• First-Order Theorem Proving and Vampire - or here
• The Vampire Diary or here