InstructorDB delete works properly

Deletes all of the preferences associated with the deleted instructor.