Trimming

[asmeurer]

I plan to do some trimming, and offloading of material to supplementary sections. Help is appreciated, but let me know if you plan to, so we don't end up in merge conflict hell.

A couple of guidelines I'll be following:

• The paper is not documentation. Many parts of the paper currently read like documentation. These parts should be moved to the supplemental or cut.
• The paper contains a lot of descriptions of tertiary things, which could be offloaded to a citation. It's OK to refer to things with an assumption that people will know about them, with a citation for if they don't.

[Upabjojr]

I have still two pending PR. I feel like I need more time for the comparison with Mathematica part. By the way, next week I may not have internet access.

[certik]

@asmeurer just create a supplemental material tex file and start moving things there. Don't delete anything for now, we can always delete things from the supplemental material latex file later.