Figure out how diagrams should work

For issue #119 @pdaniell contributed Illustrator files. I converted them to Tikz via Inkscape (Poppler import, svg2tikz export) and then ran a script to convert the color names to ones that are now defined in open-logic.sty. tikzscale makes the images the right size, but does not scale line widths so if someone provides an AI or even an Inkscape file with different line widths from those first ones they will look different and possibly not good at all.

• Need to define a diagram style in the wiki
• Figure out if tikzscale is the best way to scale diagrams
• Put the sources and scripts in a separate repository
• wrapfig down't seem to work next to theorem environments, so having figures be only half the line width and text wrap around doesn't work (it's ok in the biographies since the photos show up next to regular paragraph text)

Start with the existing Illustrator-to-TikZ workflow described in the issue, including Inkscape, Poppler import, svg2tikz, tikzscale, and open-logic.sty. Review the wiki and the wrapfig limitation, then define a diagram style, decide how scaling should work, and identify where sources and scripts should live.