Extended HoTTBook.v with references for 2.6-9

Will also add a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v.

Will probably be in need of some support for running the Python script to avoid some strange conflicts.