Add HoTTBookExercises.v to Makefile_targets.mk

This was forgotten in #303.