Experiments with stretching integral signs. While this looks promising, it is far from satisfactory, and we don't *need* it at the moment. The current enlargement method for integrals makes them too heavy though.
While stretchy integrals are still far away, large integrals made from scaling glyphs seem to be possible. Don't change the font size though, or all hell will break loose.
Merge pull request #43 from eggrobin/stretchy-integrals

Stretchy integrals