added delete button into repository settings form, it makes more natural to have it there.
Users where confused by my account -> my repos where deletion is also possible