Added the ability to empty the file trash

There is a new "Empty trash" button on the file trash page, which lets you permanently delete all the files in the trash much more quickly. Previously you had to permanently delete each file one at a time.