Broken project link

[sankalpgambhir]

Project link for tree interpolation (on Laura Kovacs' old Chalmers page) no longer exists, and is thus broken:

vprover.github.io/projects.html

Line 15 in c5fd562

<li><a href="http://www.cse.chalmers.se/~laurako/links/tree_vampire.html">Tree Interpolation</a>