A number of fixes to svg files -- mostly just making svg-ids match, but a few symbols had the wrong frames or colors