Solutions of the exercises of the HoTT book