Rename docs when putting them in the trash

We should change the name (short name; used as path and URL component) of a file when we put it in the trash (and change it back if it's restored).

This would prevent inconsistencies seen by people who expect a "simple" path component when uploading a file that's been previously deleted, in particular for WebDAV access.