added 2 pairing proofs
stuff for E2
added teddy's stuff
Merge branch 'master' of https://github.com/tjweisman/bn_writeups