[tor-commits] [tor/master] Change the name for the keypinning file; delete the old one if found