Renaming of Inv-QuickXPlain to Inv-HS-Tree

to corrspond with our publication (tool paper)