Cut out contrib. in html paths

Proviola was picking up the wrong path for the HoTT book.