Figure out how diagrams should work

[rzach]

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)

[pdaniell]

Richard I have added a new version of the composition diagram. All the assets are prefixed with "composition_outlinestroke" and the succeeded by the appropriate file suffix. Find these here:

https://github.com/pdaniell/logic.open/tree/master/assets/diagrams

What I did in illustrator was change the "strokes" to shapes themselves. If you can try to see if that works, I will convert the other function diagrams. Otherwise, I can try to look for other solutions to the scaling.