Implement file delete

Also, retab all the things!