Removing multiple documents from UI #174 (Added delete and shift+delete shortcuts in table/tree views, intermediate commit)