feat: add DeleteFile tool to delete files from GitHub repositories (#356)

Co-authored-by: Claude <[email protected]>
Co-authored-by: William Martin <[email protected]>

Author: 3 people