Adds 'del' command.
This also fixes problems with deleting receipts from the library, which also has the side effect of keeping file IDs consistent.