Added button to the GradingRecords overview to send mail when updating projects. Note that this will mail all the projects for which a record is available.

from django.dispatch import Signal

request_started = Signal()
request_finished = Signal()
got_request_exception = Signal(providing_args=["request"])