Fix crash on delete

Check for deleted document by calling getExistingDocument, and force
the documentList to return null for getDocument if that happened. Update
view code so it can cope with null document, and remove hacky list notification
on delete.