More work on document deletion

Fixed a bug where local files were not being deleted. Also added a deleted document notification so the UI can update appropriately.