Edit WebSubmit Function

In the event of a record having been deleted, this function is used
to the mail the submitter (and possibly the record "managers")
informing them about the record's deletion.

@parameters:

     + edsrn: The name of the file in the current submission's
              working directory, in which the record's report number
              is stored.

     + record_managers: A comma-separated string of the email
                        addresses of the record's managers. If given,
                        they will be (blind*) copied into the mail.
                        * At this time, they are only blind copied
                          because of send_email's behaviour of
                          blind copying everyone if "To" contains
                          multiple addresses. Anyway, blind was
                          wanted . . .

   @return: empty string.

   @Exceptions raised: None.