Deletion

Pull request for deletion of all record types, users and groups.  There's code here for deleting repositories too, but I've disabled it for now until we figure out the exact semantics we want.

(Assigned to PG because he's had a bit of a hand in it, and we can go through it over Skype tomorrow)