Fix some old names in contrib/HoTTBookExercises.v
./autogen.sh