Exercises solutions should be part of the book

[ffaf1]

I am reading HoTT and I am finding quite well done. One think I disliked is that I had to clone and build the repository to get exercises solutions.

Those should be part of the book, at least the short ones.