[tor-commits] [torbutton/master] Add branding dtd and property files.