added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v.
Merge pull request #571 from marcbezem/master

added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v